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