aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
1999-09-22Bug in command button for toolbar.David Aspinall
1999-09-22Added interval timer to reduce flickeriness of refresh.David Aspinall
1999-09-22Whitespace.David Aspinall
1999-09-22Added find and help buttons. Find does nothing at the moment.David Aspinall
1999-09-22Look up and left for context, down and right for state. Are these the right ...David Aspinall
1999-09-22New buttonsDavid Aspinall
1999-09-22Updated buttons.David Aspinall
1999-09-22CommentsDavid Aspinall
1999-09-22Button name changeDavid Aspinall
1999-09-22WhitespaceDavid Aspinall
1999-09-22Changed name of buttonDavid Aspinall
1999-09-22Earlier explanation of what a proof assistant is.David Aspinall
1999-09-22Updated with new buttonsDavid Aspinall
1999-09-22Image a bit like show.David Aspinall
1999-09-22Correct text, still no image.David Aspinall
1999-09-22UpdatedDavid Aspinall
1999-09-22Clarified font noteDavid Aspinall
1999-09-22New button iconsDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 07:18:22 +0000