| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 2000-05-17 | Clarify favourites command: key sequence will begin with C-c C-a. | David Aspinall |
| 2000-05-17 | Set version tag for new release. | David Aspinall |
| 2000-05-17 | Updated | David Aspinall |
| 2000-05-17 | added show-consts, long-names; | Makarius Wenzel |
| 2000-05-17 | re-use isa/interface-setup.el rather than separate isar version; | Makarius Wenzel |
| 2000-05-16 | debugging coq menu for old Xemacs compatibility, David said he will do this | Pierre Courtieu |
| 2000-05-16 | Fix buttons must be 3 long error (for 20.4 compatibility) | David Aspinall |
| 2000-05-16 | Reference tweak | David Aspinall |
| 2000-05-16 | Fix buttons must be 3 long error | David Aspinall |
| 2000-05-16 | Set version tag for new release. | David Aspinall |
| 2000-05-16 | Docstring fix | David Aspinall |
| 2000-05-16 | Fixes for defining favourites, added warning for pre-release users. | David Aspinall |
| 2000-05-16 | Updated magic, new funcs. | David Aspinall |
| 2000-05-16 | Fixed to load all files and define proof ass specifc vars. | David Aspinall |
| 2000-05-16 | Added proof-ready-for-assistant function to help docstring magic. | David Aspinall |
| 2000-05-16 | Added question asked by Larry. | David Aspinall |
| 2000-05-16 | Comment added | David Aspinall |
| 2000-05-16 | Add proof-strict-state-preserving setting | David Aspinall |
| 2000-05-16 | Move setting of proof-shell-pre-interrupt-hook to isabelle-system.el | David Aspinall |
| 2000-05-16 | Missing quote | David Aspinall |
| 2000-05-16 | Added version string to splash. Added proof-strict-state-preserving | David Aspinall |
| 2000-05-16 | Updated, mentioned Solaris bug reported by Markus. | David Aspinall |
| 2000-05-16 | Updated PG talk slides | David Aspinall |
| 2000-05-16 | Better reference to TACAS paper. Added link to white paper draft. | David Aspinall |
| 2000-05-16 | Be more generous if bash is not found. | David Aspinall |
| 2000-05-16 | Added scripts target to edit Isabelle scripts, patch from Mike Squire. | David Aspinall |
| 2000-05-12 | Notes about fixing docstring-magic. | David Aspinall |
| 2000-05-12 | Updated | David Aspinall |
| 2000-05-12 | Fixup menus a bit. Remove proof-prf on options change. | David Aspinall |
| 2000-05-12 | Remove proof-assistant-menu-entries, done generically now. | David Aspinall |
| 2000-05-12 | Modification of proof-shell-init-cmd. Markus, please help... | David Aspinall |
| 2000-05-12 | Added proof-defassfun. Comments | David Aspinall |
| 2000-05-12 | Use (proof-ass X) instead of function call. | David Aspinall |
| 2000-05-12 | Several name changes isa- -> isabelle-, and made generic for Isar | David Aspinall |
| 2000-05-12 | Comments | David Aspinall |
