Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Bump | 2014-05-15 | |
* | Bump | 2014-05-09 | |
* | Update for release 2.3. | 2014-05-05 | |
* | Bump version number before I forget | 2014-05-01 | |
* | Axioms: remove prop_ext, currently unused AND unsound in Coq 8.4. | 2013-12-15 | |
* | Version 2.00 -> version 2.0 | 2013-06-21 | |
* | Update version number | 2013-06-16 | |
* | Updated for version 1.13 | 2013-03-11 | |
* | Support for indirect symbols under MacOS X (final). | 2012-07-14 | |
* | A file with the version number | 2012-03-28 |