summaryrefslogtreecommitdiff
path: root/VERSION
Commit message (Expand)AuthorAge
* Axioms: remove prop_ext, currently unused AND unsound in Coq 8.4.Gravatar xleroy2013-12-15
* Version 2.00 -> version 2.0Gravatar xleroy2013-06-21
* Update version numberGravatar xleroy2013-06-16
* Updated for version 1.13Gravatar xleroy2013-03-11
* Support for indirect symbols under MacOS X (final).Gravatar xleroy2012-07-14
* A file with the version numberGravatar xleroy2012-03-28