| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 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 |
