Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fixed problem introduced by working on emacs19 in | Healfdene Goguen | 1998-05-06 |
* | Simple white-space changes. | Healfdene Goguen | 1998-05-05 |
* | Commented the code of proof.el and lego.el a bit. Made a minor change | Dilip Sequiera | 1998-01-16 |
* | Added some magic commands: proof-frob-locked-end, proof-try-command, | Dilip Sequiera | 1997-11-17 |
* | *** empty log message *** | Thomas Kleymann | 1997-10-13 |