aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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
Now will insert into any buffer at point, or behave as mouse-track-insert when called over a non-span (or non-vanilla command span).
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 ↵David Aspinall
C-button1
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
Added extra doc strings to hair macro definitions of functions.
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
1999-09-22Bug in command button for toolbar.David Aspinall
1999-09-22Added interval timer to reduce flickeriness of refresh.David Aspinall
However, this is faulty: seems to be a race condition somewhere so that refreshing clears the "refresh wanted" flag, but the toolbar suggests that the proof process is busy when it isn't.
1999-09-22Whitespace.David Aspinall
1999-09-22Added find and help buttons. Find does nothing at the moment.David Aspinall
Added proof-toolbar-refresh to after-change-functions. Makes for a flickery toolbar, unfortunately.
1999-09-22Look up and left for context, down and right for state. Are these the right ↵David Aspinall
NLP gestures?
1999-09-22New buttonsDavid Aspinall
1999-09-22Updated buttons.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-10-29 07:56:40 +0000