| Age | Commit message (Expand) | Author |
|---|
| 1999-06-14 | Added proof-tactics-name-face | Patrick Loiseleur |
| 1999-06-14 | Added coq-begin-Section and coq-end-Section | Patrick Loiseleur |
| 1999-06-14 | Various updates. coq-end-Section now works properly. | Patrick Loiseleur |
| 1999-06-09 | More colors, more regexps, more keywords | Patrick Loiseleur |
| 1999-06-08 | various fixes | Patrick Loiseleur |
| 1999-06-08 | *** empty log message *** | Patrick Loiseleur |
| 1999-06-07 | Dont include plastic/isar in main distribution. | David Aspinall |
| 1999-06-07 | Mention Plastic and Isar | David Aspinall |
| 1999-06-07 | Patched patch for updated proof-site.el | David Aspinall |
| 1999-06-07 | Added todo for XEmacs packaging, reordered. | David Aspinall |
| 1999-06-07 | Patched patch for updated proof-site.el | David Aspinall |
| 1999-06-07 | Comments | David Aspinall |
| 1999-06-07 | Cleaned up docstrings | David Aspinall |
| 1999-06-07 | Set version tag for new release. | proofgen |
| 1999-06-07 | Downrated Poly/ML related item since Poly is defunct. | David Aspinall |
| 1999-06-04 | updated; | Makarius Wenzel |
| 1999-05-27 | oops; | Makarius Wenzel |
| 1999-05-27 | removed junk; | Makarius Wenzel |
| 1999-05-27 | provide proof-string-start-regexp, proof-string-end-regexp; | Makarius Wenzel |
| 1999-05-27 | renamed undos to undos_proof; | Makarius Wenzel |
| 1999-05-27 | be chatty; | Makarius Wenzel |
| 1999-05-27 | proof-parse-to-point improved to support proof-string-start-regexp, | Makarius Wenzel |
| 1999-05-27 | renamed proof-commands-regexp to proof-indent-commands-regexp, which | Makarius Wenzel |
| 1999-05-27 | improved proof-segment-up-to to support proof-string-start-regexp, | Makarius Wenzel |
| 1999-05-27 | added proof-string-start-regexp, proof-string-end-regexp; | Makarius Wenzel |
| 1999-05-26 | proper setup for indentation; | Makarius Wenzel |
| 1999-05-26 | tuned keywords; | Makarius Wenzel |
| 1999-05-26 | added isar-keywords-qed-block; | Makarius Wenzel |
| 1999-05-26 | fixed bug in proof-parse-to-point: missing (setq stack ...) in case of | Makarius Wenzel |
| 1999-05-26 | closed string in comment; | Makarius Wenzel |
| 1999-05-25 | more examples; | Makarius Wenzel |
| 1999-05-25 | removed superficial space; | Makarius Wenzel |
| 1999-05-25 | added proof-really-save-command-p to support | Makarius Wenzel |
| 1999-05-25 | proof-done-advancing: added proof-really-save-command-p to support | Makarius Wenzel |
| 1999-05-25 | tuned; | Makarius Wenzel |
| 1999-05-24 | this version actually generated by Isabelle; | Makarius Wenzel |
| 1999-05-23 | replaced isar-keywords-section by isar-keywords-theory-heading; | Makarius Wenzel |
| 1999-05-23 | improved classification of keywords (see also isar-keywords.el); | Makarius Wenzel |
| 1999-05-23 | Isabelle/Isar keyword classification (used to be in isar-syntax.el); | Makarius Wenzel |
| 1999-05-23 | tuned usage; | Makarius Wenzel |
| 1999-05-21 | tuned; | Makarius Wenzel |
| 1999-05-21 | tuned -- still quite unsatisfactory; | Makarius Wenzel |
| 1999-05-21 | made part of the Isabelle sources; | Makarius Wenzel |
| 1999-05-17 | I've added the custom option 'prog-name-guess' in the generic part and | Patrick Loiseleur |
| 1999-05-17 | several additions, as usual | Patrick Loiseleur |
| 1999-05-12 | changed use of proof-send (OLD) to proof-shell-insert | Paul Callaghan |
| 1999-05-11 | instantiation for "plastic" proof assistant | Paul Callaghan |
| 1999-05-11 | added proof system "plastic", triggered by a .lf extension | Paul Callaghan |
| 1999-05-11 | Add toggle for proof toolbar to menu | David Aspinall |
| 1999-05-11 | todo for reorganizing menus. | David Aspinall |
