aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
1999-09-22Renamed fileDavid Aspinall
1999-09-22tuned example according to Isabelle style-guide;Makarius Wenzel
1999-09-22improved (?) proof-shell-proof-completed-regexp;Makarius Wenzel
1999-09-22Renamed fileDavid Aspinall
1999-09-21Set version tag for new release.David Aspinall
1999-09-21Added cvs update to release target.David Aspinall
1999-09-21Expanded.David Aspinall
1999-09-21Replaced Patrick with desperate plea for help with Coq PG.David Aspinall
1999-09-21Fix for proof-shell-proof-completed-regexpDavid Aspinall
1999-09-21Improved docstrings for regexp vars.David Aspinall
1999-09-21Made desired usability changes more explicit and detailed.David Aspinall
1999-09-21Comment fix.David Aspinall
1999-09-21Adjusted proof-shell-proof-completed-regexp to match against whole ofDavid Aspinall
1999-09-21Robustification so that new instances are easier to addDavid Aspinall
1999-09-21proof-shell-grab-lock runs proof-state-change-hook.David Aspinall
1999-09-21Add and remove proof-toolbar-refresh to/from proof-state-change-hook.David Aspinall
1999-09-21Call proof-state-change-hook after asserting and retracting.David Aspinall
1999-09-21Callback for proof-shell-done-invisible now runs proof-state-change-hook.David Aspinall
1999-09-21Added proof-state-change-hook for toolbar enabler refreshing.David Aspinall
1999-09-21lemma and_comms;Makarius Wenzel
1999-09-13Fixed rearrange target.David Aspinall
1999-09-13Removed proof-shell-completed added to eval-when-compile by mistake.David Aspinall
1999-09-13Updated magicDavid Aspinall
1999-09-13Added function to refresh toolbarDavid Aspinall
1999-09-13Added callbacks to refresh toolbarDavid Aspinall
1999-09-13New toolbar imageDavid Aspinall
1999-09-13Changed peculiar message to something slightly less peculiarDavid Aspinall
1999-09-13Updated buttons. xbm's still problematical, I thinkDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 02:27:02 +0000