| Age | Commit message (Expand) | Author |
|---|---|---|
| 2008-07-24 | Merge changes from Version4Branch. | David Aspinall |
| 2004-08-30 | debugged the indentation of coq (bug report of Batsiaan Zapf august | Pierre Courtieu |
| 2004-04-23 | modified the syntax for subscript in coq/pg | Pierre Courtieu |
| 2004-04-22 | Update to Coq 8.0 syntax | David Aspinall |
| 2004-04-16 | little fix for x-symbols coq. | Pierre Courtieu |
| 2004-04-16 | added an example fils for coq x-symbols. | Pierre Courtieu |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |