| Age | Commit message (Expand) | Author |
|---|
| 2000-05-29 | Generalized proof assistant settings mechanism | David Aspinall |
| 2000-05-29 | Add explicit terminators to commands. Generalized isabelle-set-default-cmd. | David Aspinall |
| 2000-05-29 | Additions to font lock on output | David Aspinall |
| 2000-05-29 | Updated | David Aspinall |
| 2000-05-29 | Don\'t wait for ever if process dies on startup | David Aspinall |
| 2000-05-29 | Generalized proof-format to allow sexps in replacement. | David Aspinall |
| 2000-05-29 | Missing parenthesis | David Aspinall |
| 2000-05-29 | Added functions for defining string and integer setters, for proof assistant ... | David Aspinall |
| 2000-05-29 | New stuff for making proof assistant settings. | David Aspinall |
| 2000-05-29 | Added configuration variables for proof assistant settings. Docstring for fa... | David Aspinall |
| 2000-05-29 | Added replace-string for FSF. | David Aspinall |
| 2000-05-29 | Fixed define-key calls. Set useful default for plastic prog name | David Aspinall |
| 2000-05-26 | Docstring. | David Aspinall |
| 2000-05-26 | proof-defass-default -> defpgdefault | David Aspinall |
| 2000-05-26 | Removed proof-script-indent check. | David Aspinall |
| 2000-05-26 | Update to use generic option indent-line, and switch inside | David Aspinall |
| 2000-05-26 | Switch to using per-prover generic option for x-symbol-enable. | David Aspinall |
| 2000-05-26 | Binding for complete. | David Aspinall |
| 2000-05-26 | Macros for generic custom settings from proof-config. | David Aspinall |
| 2000-05-26 | Rename proof-defass-custom -> defpgcustom. | David Aspinall |
| 2000-05-26 | fixed error in test.lf | Paul Callaghan |
| 2000-05-26 | Moved compatibility code into proof-compat.el | David Aspinall |
| 2000-05-26 | Only extend the load path if necessary | David Aspinall |
| 2000-05-26 | Comments, still nothing here. | David Aspinall |
| 2000-05-26 | Clean also deletes CVS temporaries (naughty, should be in devel.clean really) | David Aspinall |
| 2000-05-26 | Updated | David Aspinall |
| 2000-05-26 | Updated magic | David Aspinall |
| 2000-05-26 | Attempt to quote @ (failed, dunno why) | David Aspinall |
| 2000-05-26 | isar-any-command-regexp; | Makarius Wenzel |
| 2000-05-26 | isar-keywords-major; | Makarius Wenzel |
| 2000-05-25 | Temp hacks to get doc to build before proper commits. | David Aspinall |
| 2000-05-25 | Made x-symbol-enable be individual option. | David Aspinall |
| 2000-05-25 | Added completion table code. | David Aspinall |
| 2000-05-25 | Fixes for PA docs, and file load order. | David Aspinall |
| 2000-05-25 | Patched patch again. | David Aspinall |
| 2000-05-25 | Spurious newline causing patch to fall over. | David Aspinall |
| 2000-05-25 | Removed spurious code in isar-mode function. | David Aspinall |
| 2000-05-25 | Fix applying of patch. | David Aspinall |
| 2000-05-25 | Fix patch. | David Aspinall |
| 2000-05-25 | Updated patch. | David Aspinall |
| 2000-05-25 | Revert to previous path for perl, better default for non-linux. Linux uses R... | David Aspinall |
| 2000-05-25 | Fix info bug. | David Aspinall |
| 2000-05-25 | Make doc link to 3.1, not pre-release. Minor extra editing on new release. | David Aspinall |
| 2000-05-25 | Doc more new features and bug fixes for 3.2. | David Aspinall |
| 2000-05-25 | Note about proof-shell-pre-sync-init-cmd | David Aspinall |
| 2000-05-25 | Note about fix for C-x C-f and friends | David Aspinall |
| 2000-05-25 | Note about sync problem | David Aspinall |
| 2000-05-25 | Patch for synchronization problem in Coq, perhaps others. | David Aspinall |
| 2000-05-25 | New file, test cases for bugs | David Aspinall |
| 2000-05-25 | Add target for editing perl scripts too | David Aspinall |
