aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
1999-09-25proof-shell-proof-completed-regexp nil;Makarius Wenzel
1999-09-24Isabelle term / type hiliting;Makarius Wenzel
1999-09-24tuned;Makarius Wenzel
1999-09-24unified example with other proof assistants;Makarius Wenzel
1999-09-24Added names of helpful people at summer shcoolDavid Aspinall
1999-09-24UpdatedDavid Aspinall
1999-09-23UpdatedDavid Aspinall
1999-09-23DocstringsDavid Aspinall
1999-09-23Added menu binding for finding theorems.David Aspinall
1999-09-23Added doc for proof-find-theoremsDavid Aspinall
1999-09-23Set proof-find-theorems-commandDavid Aspinall
1999-09-23Set version tag for new release.David Aspinall
1999-09-23Added proof-find-theorems and some hairy macros to define related commands.David Aspinall
1999-09-23Added implementation of proof-toolbar-findDavid Aspinall
1999-09-23Trivial.David Aspinall
1999-09-23UpdatedDavid Aspinall
1999-09-23Added setting for proof-find-theorems-command.David Aspinall
1999-09-23Added proof-find-theorems-command setting.David Aspinall
1999-09-23Fixed up date order.David Aspinall
1999-09-22updated (make magic);Makarius Wenzel
1999-09-22Set version tag for new release.David Aspinall
1999-09-22Added item about GiensDavid Aspinall
1999-09-22DocstringsDavid Aspinall
1999-09-22proof-completed-regexp: match number 1 is response text;Makarius Wenzel
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 15:30:34 +0000