| Commit message (Expand) | Author | Age |
... | |
* | 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-29 |
* | 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-28 |
* | 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-26 |
* | more symbols; | Makarius Wenzel | 2000-08-23 |
* | tuned x-symbol setup; | Makarius Wenzel | 2000-08-23 |
* | isar-keywords-proof-improper; | Makarius Wenzel | 2000-08-16 |
* | added isar-keywords-proof-improper; | Makarius Wenzel | 2000-08-16 |
* | 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 | 2000-08-14 |
* | Added Fiona's changes, cleaned up a little bit | David Aspinall | 2000-08-14 |
* | Added Fiona's changes. | David Aspinall | 2000-08-14 |
* | Files for testing theorem dependency features. | David Aspinall | 2000-08-14 |
* | enhancement of outline regexps for coq, now when hiding bodies, we see | Pierre Courtieu | 2000-08-14 |
* | enhancement of x-symbol for coq, philosophy is not encoded, and phi1 is, | Pierre Courtieu | 2000-08-14 |
* | smart setup of X-Symbol mode; | Makarius Wenzel | 2000-08-09 |
* | Set version tag for new release. | David Aspinall | 2000-08-09 |
* | added outline mode setup (still not quite working as expected); | Makarius Wenzel | 2000-08-07 |
* | cleaned up outline stuff; | Makarius Wenzel | 2000-08-07 |
* | new category isar-keywords-proof-heading; | Makarius Wenzel | 2000-08-07 |
* | ** B make help key bindings appear in "Show me ..." menu; | Makarius Wenzel | 2000-08-03 |
* | added isar-help functions / keys (how do I get keys into menus?); | Makarius Wenzel | 2000-08-03 |
* | x-symbol-isabelle-electric-ignore: include [[ ]]; | Makarius Wenzel | 2000-08-03 |