| Age | Commit message (Expand) | Author |
|---|---|---|
| 1998-05-05 | Coq now restarts if going back to beginning of proof. | Healfdene Goguen |
| 1998-02-11 | prioritised | Thomas Kleymann |
| 1998-02-10 | *** empty log message *** | Thomas Kleymann |
| 1998-01-15 | One needed change for coq included | Healfdene Goguen |
| 1997-12-18 | *** empty log message *** | Thomas Kleymann |
| 1997-11-26 | Noted bug in popup-eager-annotation | Dilip Sequiera |
| 1997-11-26 | A few new suggestions | Healfdene Goguen |
| 1997-11-20 | Fixed outstanding things to be updated in Coq. | Healfdene Goguen |
| 1997-11-18 | Added indentation for lego-mode. | Dilip Sequiera |
| 1997-11-17 | Added some magic commands: proof-frob-locked-end, proof-try-command, | Dilip Sequiera |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |