| Age | Commit message (Collapse) | 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 | |
| 3rd 2004). I found another bug (infinite loop due to an error in coq-back-to-indentation-prevline). | |||
| 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 |