| Age | Commit message (Expand) | Author |
|---|
| 2000-03-23 | Updated for 3.1, removed appendix. | David Aspinall |
| 2000-03-23 | 3.1 available now | David Aspinall |
| 2000-03-23 | Fix name of HOL98. | David Aspinall |
| 2000-03-23 | Notes about using on Windows | David Aspinall |
| 2000-03-23 | 3.0 becomes an old release. | David Aspinall |
| 2000-03-23 | Remove attempts at elisp markup, screwy regexps somewhere or php buggy. | David Aspinall |
| 2000-03-23 | Updated Isabelle home page. | David Aspinall |
| 2000-03-23 | Updated, split by Emacs-specificity | David Aspinall |
| 2000-03-23 | Let Windows use the toolbar too. | David Aspinall |
| 2000-03-23 | added 'moreover'; | Makarius Wenzel |
| 2000-03-22 | Set version tag for new release. | David Aspinall |
| 2000-03-22 | Updated todo's. | David Aspinall |
| 2000-03-22 | Updated and cleaned up | David Aspinall |
| 2000-03-22 | Updated and cleaned up | David Aspinall |
| 2000-03-22 | Fix for activating multiple frames when no active scripting buffer. | David Aspinall |
| 2000-03-22 | Bug fix for electric terminator used inside locked region. | David Aspinall |
| 2000-03-22 | Rename proof-shell-string-escapes -> proof-shell-filename-escapes | David Aspinall |
| 2000-03-22 | Set proof-shell-filename-escapes, switch back to %s | David Aspinall |
| 2000-03-22 | Notes about strange filenames | David Aspinall |
| 2000-03-22 | Switch back to %s, rename proof-shell-string-escapes -> proof-shell-filename-... | David Aspinall |
| 2000-03-22 | Use proof-format-filename instead of format on cmds with file parameter. | David Aspinall |
| 2000-03-22 | Added todo. | David Aspinall |
| 2000-03-22 | Comment about tripping bug in Isabelle | David Aspinall |
| 2000-03-22 | Document use of %e in proof-shell-inform-file-{processed,retracted}-cmd. | David Aspinall |
| 2000-03-22 | Fix other file commands to use %e substitution. | David Aspinall |
| 2000-03-22 | Added test files to check stupid filename for directories. | David Aspinall |
| 2000-03-22 | Use new format character %s to %e to cope with nasty filenames with backslashes. | David Aspinall |
| 2000-03-22 | docstring | David Aspinall |
| 2000-03-22 | Added utility functions proof-format, proof-format-filename. | David Aspinall |
| 2000-03-22 | Added new customization: proof-shell-string-escapes. | David Aspinall |
| 2000-03-22 | Mention %e in doc for proof-shell-cd-cmd. | David Aspinall |
| 2000-03-22 | Added new customization: proof-shell-string-escapes. | David Aspinall |
| 2000-03-22 | Suggest links on same page. | David Aspinall |
| 2000-03-22 | transparent cd; | Makarius Wenzel |
| 2000-03-19 | removed "thence"; | Makarius Wenzel |
| 2000-03-19 | Remove comma from section heading, bad for info. | David Aspinall |
| 2000-03-19 | Set version tag for new release. | David Aspinall |
| 2000-03-19 | Added proof-{mode}-font-lock-keywords configuration settings (used by easy-co... | David Aspinall |
| 2000-03-19 | Altered syntax a little bit so reset works for Section. | David Aspinall |
| 2000-03-19 | Updated. | David Aspinall |
| 2000-03-19 | Updated | David Aspinall |
| 2000-03-19 | Ack ETL | David Aspinall |
| 2000-03-19 | Comment | David Aspinall |
| 2000-03-19 | Added setting for silent mode. | David Aspinall |
| 2000-03-19 | More reliable prompt regexp | David Aspinall |
| 2000-03-19 | Added keybinding, improved doc for proof-undo-and-delete-last-successful-comm... | David Aspinall |
| 2000-03-19 | Updated | David Aspinall |
| 2000-03-19 | Added menu entry for proof-undo-and-delete-last-successful-command | David Aspinall |
| 2000-03-19 | Improved links, new project on ACS. | David Aspinall |
| 2000-03-19 | Added settings for silent control. Also some minor support for Section. | David Aspinall |
