Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Updated. | 2010-08-13 | |
* | Remove deliberately buggy code at the end (Coq seems to be fixed) | 2010-08-11 | |
* | Small fixes from Stefan Monnier. | 2007-04-16 | |
* | Changed the type of proof-goal-command-p. It takes now a span, which | 2006-04-26 | |
* | debugged the indentation of coq (bug report of Batsiaan Zapf august | 2004-08-30 | |
* | Update to Coq 8.0 syntax | 2004-04-22 | |
* | Use official indentation\! | 2004-04-02 | |
* | indentation for coq completely re-coded, because the generic mechanism | 2004-03-08 | |
* | corrected a bug of pg/coq, the following line was not recognized as a | 2003-02-20 | |
* | code cleaning + deals better with the new module system of Coq. Did | 2003-02-03 | |
* | Added a file for testing modules of coq (new version 7.4). Plus some | 2003-01-29 |