coq/plugins/cc/README, branch master The formal proof system Doc update with mlg extension - fix #10855 2019-10-13T20:02:02+00:00 mcaci 2019-10-12T12:24:18+00:00 3e0bf68bdc1ac6bde7bd04236657fb4d554817ad 






Switch the few remaining iso-latin-1 files to utf8
2014-12-09T13:27:21+00:00

Pierre Letouzey

2014-12-09T11:48:32+00:00

af84e080ff674a3d5cf2cf88874ddb6ebaf38ecf












Directory 'contrib' renamed into 'plugins', to end confusion with archive of user contribs
2009-03-20T01:22:58+00:00

letouzey

2009-03-20T01:22:58+00:00

7d220f8b61649646692983872626d6a8042446a9

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11996 85f007b7-540e-0410-9357-904b9bb8a0f7





git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11996 85f007b7-540e-0410-9357-904b9bb8a0f7