aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
1999-10-01Added interrupt button.David Aspinall
1999-10-01No attempt to update BUGS section of manualDavid Aspinall
1999-10-01Fix bug for proof-shell-leave-annotations-in-output.David Aspinall
1999-10-01Fix toolbar in wrong buffer bug; delete defunct itimers.David Aspinall
1999-10-01Disable proof-help-string, was set to an invalid command.David Aspinall
1999-10-01Minor changes to introduction.David Aspinall
1999-10-01Bug about cut-and-paste from highlighted Isabelle goals.David Aspinall
1999-09-30News for 1st October.David Aspinall
1999-09-30Set version tag for new release.David Aspinall
1999-09-30Automatically updated ChangeLog when making devel releaseDavid Aspinall
1999-09-30Added icons.David Aspinall
1999-09-30Mentioned and linked ChangeLog file.David Aspinall
1999-09-30Added comments about using enriched mode or similar for prover output markup.David Aspinall
1999-09-30replaced isar-output-font-lock-terms by isar-output-font-lock-keywords-1;Makarius Wenzel
1999-09-30proof-find-theorems-command "thms_containing %s;";Makarius Wenzel
1999-09-30make magic;Makarius Wenzel
1999-09-30replaced isa-output-font-lock-terms by isa-output-font-lock-keywords-1;Makarius Wenzel
1999-09-30tuned isa-init-output-syntax-table;Makarius Wenzel
1999-09-29Set version tag for new release.David Aspinall
1999-09-29Enabled hack for proof-shell-leave-annotations-in-outputDavid Aspinall
1999-09-29Unhappily added proof-shell-leave-annotations-in-output hack.David Aspinall
1999-09-29bug when prover gives error from proof-find (or similar).David Aspinall
1999-09-29Added proof-script-command-separator. Removed duplicated proof-strict-read-o...David Aspinall
1999-09-29Grammar.David Aspinall
1999-09-29Updated.David Aspinall
1999-09-29Extended documentation for proof-shell-restart.David Aspinall
1999-09-29Menu name.David Aspinall
1999-09-29Fixes so that proof-strict-read-only can be toggled within a session (via res...David Aspinall
1999-09-29Re-enabled proof-by-pointing for testing purposes only. Fixed a bug.David Aspinall
1999-09-29proof-mouse-track-insert only seems to work on XEmacsDavid Aspinall
1999-09-29Mentioned proof-mouse-track-insert.David Aspinall
1999-09-29Changed name of proof-copy-span to proof-mouse-track-insert.David Aspinall
1999-09-29Added proof-script-command-separator. Needs work.David Aspinall
1999-09-29Improved proof-copy-span and renamed to proof-mouse-track-insert.David Aspinall
1999-09-29Putative enhancements mentioned.David Aspinall
1999-09-29Updated.David Aspinall
1999-09-29Re-enabled and renamed proof-send-span: becomes proof-copy-span bound to C-bu...David Aspinall
1999-09-28UpdatedDavid Aspinall
1999-09-28More reorganizing of menus and keybindings with aim of usability in mind.David Aspinall
1999-09-28UpdatedDavid Aspinall
1999-09-28Reorganization of menus: made a single menu but flattened Scripting submenu.David Aspinall
1999-09-28Fix for FSF: it should load proof-toolbar too.David Aspinall
1999-09-28Made Scripting menu entry item on menubar.David Aspinall
1999-09-28Longer menu names, allowed some toolbar items to be omitted from menu.David Aspinall
1999-09-28Note about syntaxDavid Aspinall
1999-09-28Set version tag for new release.David Aspinall
1999-09-27Set version tag for new release.David Aspinall
1999-09-27Changed button order.David Aspinall
1999-09-26added isar-verbatim;Makarius Wenzel
1999-09-26added thms_containing, ML_setup;Makarius Wenzel
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 03:00:55 +0000