diff options
| author | letouzey | 2010-02-14 12:37:15 +0000 |
|---|---|---|
| committer | letouzey | 2010-02-14 12:37:15 +0000 |
| commit | f69a763613b1d7e3e0a44085be18f56299097576 (patch) | |
| tree | 41929d1419ce9c1730cdbdced04e6bcc709bf8c3 /plugins/syntax | |
| parent | 91a8204515286252d0f026fcfc60a014bc57e727 (diff) | |
update CHANGES : ocamlbuild, Structures, Numbers, MSets ... (cf. commit 8.3 r12766)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12767 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'plugins/syntax')
0 files changed, 0 insertions, 0 deletions