| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 |