| Age | Commit message (Expand) | Author |
|---|---|---|
| 2006-09-07 | Updated. | David Aspinall |
| 2006-08-25 | Small fixes. | Pierre Courtieu |
| 2006-08-25 | Changed default coq version (8.1) | Pierre Courtieu |
| 2006-08-23 | Cleaning in coq and lib, fixed licenses and docstrings. | Pierre Courtieu |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |