| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 2000-05-25 | Change default path to perl | David Aspinall |
| 2000-05-25 | Second toolbar patch in 3.1.6 now. | David Aspinall |
| 2000-05-25 | Updated from 3.1 branch | David Aspinall |
| 2000-05-25 | When button enablers disabled, don't use itimer or after-change hook. | David Aspinall |
| 2000-05-25 | Toolbar fixes. | David Aspinall |
| 2000-05-25 | Next button is enabled whenever locked region is not full. | David Aspinall |
| 2000-05-25 | Minor | David Aspinall |
| 2000-05-25 | Set version tag for new release. | David Aspinall |
| 2000-05-25 | Added link to HELM | David Aspinall |
| 2000-05-25 | Fix para spacing | David Aspinall |
| 2000-05-25 | Note about 3.1.6 | David Aspinall |
| 2000-05-25 | Turn off button enablers when running on Solaris | David Aspinall |
| 2000-05-24 | added "done"; | Makarius Wenzel |
| 2000-05-22 | replaced proof-ids-to-regexp by isar-ids-to-regexp, which admits | Makarius Wenzel |
| 2000-05-22 | replaced {{ }} by { }; | Makarius Wenzel |
| 2000-05-19 | isar-verbatim-regexp: include \n; | Makarius Wenzel |
| 2000-05-18 | Updated. Noted that "first line" bug is more prevalent than thought. | David Aspinall |
| 2000-05-18 | Goals.enable/disable_pr: improved version for Isabelle99-1 (commented out); | Makarius Wenzel |
