| Age | Commit message (Expand) | Author |
|---|---|---|
| 2005-09-18 | better terminate ML code; | Makarius Wenzel |
| 2005-09-01 | tuned ML code for manipulating print_mode; | Makarius Wenzel |
| 2003-02-22 | New files. | David Aspinall |
| 2000-06-16 | Renamed file | David Aspinall |
| 2000-04-06 | tuned \<bottom>; | Makarius Wenzel |
| 2000-03-09 | Updated headers. | David Aspinall |
| 2000-02-23 | tuned electric-ignore; | Makarius Wenzel |
| 2000-02-15 | fix electric-ignore (due to DvO); | Makarius Wenzel |
| 1999-11-19 | Added by defvars x-symbol-isa-name, x-symbol-isa-modeline-name so can use thi... | David Aspinall |
| 1999-11-11 | Extensive fixes for x-symbol and font-lock. | David Aspinall |
| 1999-11-10 | Removed unsociable key-bindings. | David Aspinall |
| 1999-10-22 | update by DvO; | Makarius Wenzel |
| 1999-08-20 | update by DvO; | Makarius Wenzel |
| 1998-12-18 | File sent by David von Oheimb. | David Aspinall |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |