Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | - update coq example | 2013-05-14 | |
| | | | | - minor changes in user manual | ||
* | Comments | 2009-12-01 | |
| | |||
* | Remove more of 80 code | 2009-09-08 | |
| | |||
* | Added Module/End | 2005-11-25 | |
| | |||
* | Update to Coq 8.0 syntax | 2004-04-22 | |
| | |||
* | Update for V8 syntax. | 2004-04-21 | |
| | |||
* | Use official indentation\! | 2004-04-02 | |
| | |||
* | Rever to simplest example | 2003-10-05 | |
| | |||
* | code cleaning + deals better with the new module system of Coq. Did | 2003-02-03 | |
| | | | | not test the fsfemacs. Will do before release. | ||
* | Added a file for testing modules of coq (new version 7.4). Plus some | 2003-01-29 | |
| | | | | modification to better backtrack modules. | ||
* | Modifications for support of Coq-7.3.1+ and above (new module system). | 2003-01-24 | |
| | |||
* | Whitespace | 2002-01-16 | |
| | |||
* | proper indentation; | 2000-06-08 | |
| | |||
* | Use infix syntax | 1999-11-13 | |
| | |||
* | Remove coq-Search function, now generic. | 1999-10-06 | |
| | |||
* | unified example with other proof assistants; | 1999-09-24 | |
| | |||
* | Cleaned up example files so all demonstrate same theorem "conj_comms". | 1999-09-13 | |
| | | | | | Would be nice to add more theorems to compare scripts in different systems. | ||
* | Updated from Coq 6.3 distrib. | 1999-08-23 | |
| | |||
* | Updates suggested by Markus and Patrick for Coq 6.3. | 1999-08-23 | |
| | |||
* | changed maintainer information to lego@dcs and isabelle@dcs . | 1998-10-02 | |
| | |||
* | Updated maintainer tags to remove lego email address. | 1998-10-01 | |
| | |||
* | Example file suggested by Healf. | 1998-09-23 | |
| | |||
* | Added Id to headers. | 1998-09-09 | |
| | |||
* | Added Isabelle example and skeleton for Coq and Lego. | 1998-09-03 | |