aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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
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
Mentioned output formatting spurious newlines issue for Isabelle.
1999-09-21Comment fix.David Aspinall
Fix for FSF Emacs.
1999-09-21Adjusted proof-shell-proof-completed-regexp to match against whole ofDavid Aspinall
proofstate output including "No subgoals!" message. Now PG can correctly set the proof-shell-proof-completed flag.
generated by cgit v1.2.3 (git 2.25.1) at 2026-07-19 19:27:59 +0000