| Age | Commit message (Expand) | Author |
|---|---|---|
| 1998-08-11 | Renamed <file>-fontlock to <file>-syntax | David Aspinall |
| 1998-06-10 | Changed "\\s " to "\\s-" in proof-id as whitespace pattern. | Healfdene Goguen |
| 1998-05-29 | o outsourced indentation to proof-indent | Thomas Kleymann |
| 1998-05-06 | Fixed problem introduced by working on emacs19 in | Healfdene Goguen |
| 1998-05-05 | Simple white-space changes. | Healfdene Goguen |
| 1998-01-16 | Commented the code of proof.el and lego.el a bit. Made a minor change | Dilip Sequiera |
| 1997-11-17 | Added some magic commands: proof-frob-locked-end, proof-try-command, | Dilip Sequiera |
| 1997-10-13 | *** empty log message *** | Thomas Kleymann |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |
path: root/proof-fontlock.el