| Age | Commit message (Expand) | Author |
|---|---|---|
| 1997-10-30 | Updates for coq, including: | Healfdene Goguen |
| 1997-10-24 | Fixed coq-count-undos for comments | Healfdene Goguen |
| 1997-10-17 | Fixed coq-shell-prompt-pattern to reflect proof-id | Healfdene Goguen |
| 1997-10-16 | Merged Coq changes with main branch. | Dilip Sequiera |
| 1997-10-16 | Merged Coq changes onto main branch | Dilip Sequiera |
| 1997-10-13 | *** empty log message *** | Thomas Kleymann |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |