| Age | Commit message (Expand) | 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 |
| 2006-08-25 | added a CHANGES file for coq directory | Pierre Courtieu |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |