| Age | Commit message (Expand) | Author |
|---|
| 2000-09-11 | Added proof-shell-annotated-prompt-regexp to important settings, removed safe... | David Aspinall |
| 2000-09-08 | Customize always available if PG is | David Aspinall |
| 2000-09-08 | Updated | David Aspinall |
| 2000-09-08 | Changes for selecting object logic, locating executables. | David Aspinall |
| 2000-09-08 | ADded proof-locate-executable. | David Aspinall |
| 2000-09-08 | Fix obscure problem with proof-segment-upto-cmdstart with buggy input. | David Aspinall |
| 2000-09-08 | Rearrangement | David Aspinall |
| 2000-09-07 | removed "of", "congs"; | Makarius Wenzel |
| 2000-09-03 | removed unused variable C; | Makarius Wenzel |
| 2000-09-02 | more quoting; | Makarius Wenzel |
| 2000-08-30 | use isar-markup-ml; | Makarius Wenzel |
| 2000-08-29 | syntax: "?" made word char; | Makarius Wenzel |
| 2000-08-29 | Set version tag for new release. | David Aspinall |
| 2000-08-29 | Tweak | David Aspinall |
| 2000-08-29 | Example file grabbed from twelf distrib | David Aspinall |
| 2000-08-29 | A little bit of progress. | David Aspinall |
| 2000-08-29 | Added proof-shell-auto-terminate-commands | David Aspinall |
| 2000-08-28 | Set version tag for new release. | David Aspinall |
| 2000-08-28 | adapting manual needs intro fixing | David Aspinall |
| 2000-08-28 | Fix description of manual now broken into two | David Aspinall |
| 2000-08-28 | Updated magic | David Aspinall |
| 2000-08-28 | Fix recursive make | David Aspinall |
| 2000-08-28 | Note about CVSROOT setting. | David Aspinall |
| 2000-08-28 | Branch | David Aspinall |
| 2000-08-28 | Remove Library.timings call, restore compatibility with I99. | David Aspinall |
| 2000-08-28 | Branch | David Aspinall |
| 2000-08-28 | Files for twelf, not working at all yet. | David Aspinall |
| 2000-08-28 | Updated | David Aspinall |
| 2000-08-28 | Added a couple of todos | David Aspinall |
| 2000-08-28 | Change name of mode: isar-proofscript-mode -> isar-mode and remove | David Aspinall |
| 2000-08-28 | Missing full stop | David Aspinall |
| 2000-08-28 | Test file for proof-shell-set-elisp-variable-regexp | David Aspinall |
| 2000-08-28 | Added setting for proof-shell-set-elisp-variable-regexp | David Aspinall |
| 2000-08-28 | Added proof-shell-set-elisp-variable-regexp | David Aspinall |
| 2000-08-28 | Added twelf and experimental support note. | David Aspinall |
| 2000-08-28 | FIXME note added, missing docstring from macro fn def. | David Aspinall |
| 2000-08-28 | News updated | David Aspinall |
| 2000-08-28 | Link to two manuals now. | David Aspinall |
| 2000-08-28 | Split manual into two parts. | David Aspinall |
| 2000-08-28 | cd command: add_path; | Makarius Wenzel |
| 2000-08-28 | conditional load of proof-site.el; | Makarius Wenzel |
| 2000-08-28 | -w false implies -x false; | Makarius Wenzel |
| 2000-08-26 | nothing important, I forgot to undo something before my last commit in | Pierre Courtieu |
| 2000-08-26 | Some changes for undoing with coq, handle user-defined tactics, in | Pierre Courtieu |
| 2000-08-23 | more symbols; | Makarius Wenzel |
| 2000-08-23 | tuned x-symbol setup; | Makarius Wenzel |
| 2000-08-16 | isar-keywords-proof-improper; | Makarius Wenzel |
| 2000-08-16 | added isar-keywords-proof-improper; | Makarius Wenzel |
| 2000-08-14 | Added Fiona's changes, cleaned up a little bit with header and footer | David Aspinall |
| 2000-08-14 | Added split string on theorem dependency code, to make list of dependents. | David Aspinall |
