| Age | Commit message (Expand) | Author |
|---|---|---|
| 2004-03-08 | indentation for coq completely re-coded, because the generic mechanism | Pierre Courtieu |
| 2003-02-20 | corrected a bug of pg/coq, the following line was not recognized as a | Pierre Courtieu |
| 2003-02-03 | code cleaning + deals better with the new module system of Coq. Did | Pierre Courtieu |
| 2003-01-29 | Added a file for testing modules of coq (new version 7.4). Plus some | Pierre Courtieu |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |