| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2008-01-15 | Deleted file | David Aspinall | |
| 2007-04-23 | Added things in CHANGES. | Pierre Courtieu | |
| 2006-09-07 | Updated CHANGES. | Pierre Courtieu | |
| 2006-09-06 | updating changes in coq/CHANGES. | Pierre Courtieu | |
| 2006-08-25 | fix coq/CHANGES | Pierre Courtieu | |
| 2006-08-25 | Changed default coq version (8.1) | Pierre Courtieu | |
| Small fixes in docstrings. | |||
| 2006-08-25 | added a CHANGES file for coq directory | Pierre Courtieu | |
| filled it | |||
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |