coq/plugins/extraction/CHANGES, branch master The formal proof system Fixing typos - Part 2 2019-05-22T23:49:04+00:00 JPR 2019-05-22T19:40:57+00:00 467eb67bb960c15e1335f375af29b4121ac5262b 






Moving bug numbers to BZ# format in the source code.
2017-10-19T14:25:40+00:00

Théo Zimmermann

2017-10-19T14:25:40+00:00

56b562e057bbce736786cf1df16ba6e40dde8f30

Compared to the original proposition (01f848d in #960), this commit
only changes files containing bug numbers that are also PR numbers.





Compared to the original proposition (01f848d in #960), this commit
only changes files containing bug numbers that are also PR numbers.







Fix some typos.
2015-10-13T16:30:47+00:00

Guillaume Melquiond

2015-10-13T16:30:47+00:00

ed95f122f3c68becc09c653471dc2982b346d343












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