aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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.
1999-09-21Robustification so that new instances are easier to addDavid Aspinall
(allowed a bunch of regexps to be unset, safely).
1999-09-21proof-shell-grab-lock runs proof-state-change-hook.David Aspinall
This results in some flickering of the toolbar (buttons disabled while region is pink), but is The Right Thing. Removed "Inferior" from buffer names.
1999-09-21Add and remove proof-toolbar-refresh to/from proof-state-change-hook.David Aspinall
Simplified many of the toolbar functions to be aliases, and remove explicit check on enabler condition [although may want to add this back in uniformly to allow toolbar buttons to be called elsewhere?].
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
Comments and variable ordering tweaked.
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
1999-09-13Updated for gimp 1.1.9David Aspinall
1999-09-13UpdatedDavid Aspinall
1999-09-13UpdatedDavid Aspinall
1999-09-13Altered to use craro since scar now broken.David Aspinall
1999-09-13Failed attempt to prevent Coq from starting up with display of current ↵David Aspinall
directory.
1999-09-13Set version tag for new release.David Aspinall
1999-09-13Mention Yves Bertot on about pageDavid Aspinall
1999-09-13Emphasised that user can still use the shellDavid Aspinall
1999-09-13No longer cutting edge, really.David Aspinall
1999-09-13Added plastic to elisp dirs and cleanup backup files.David Aspinall
1999-09-13Experimental fix for proof-shell-completed flag clearing.David Aspinall
1999-09-13Added new toolbar buttons, streamlined code to work from a tableDavid Aspinall
1999-09-13Added new buttons. (xbm files currently missing, some icons not made yet, ↵David Aspinall
confusingly copied old ones.
1999-09-13Mentioned toolbar enabler potential problemsDavid Aspinall
1999-09-13UpdatedDavid Aspinall
1999-09-13Added proof-terminal-string to proof-execute-minibuffer-cmd.David Aspinall
1999-09-13Reorganized and formatted, added some items.David Aspinall
1999-09-13XEmacs 21 fixes for documentation of function menuDavid Aspinall
1999-09-13Mention splash screen and that XEmacs can't display transparent gifsDavid Aspinall
1999-09-13Mention problem with Ctrl-C and ssh.David Aspinall
1999-09-13Removed transparent gif from splash screen because XEmacs can'tDavid Aspinall
display it nicely.
1999-09-13Cleaned up example files so all demonstrate same theorem "conj_comms".David Aspinall
Would be nice to add more theorems to compare scripts in different systems.
1999-09-13docstring improvements for proof-guess-command-nameDavid Aspinall
1999-09-13Made a release (ProofGeneral.spec, proof-site.el, download.phtml)David Aspinall
Makefile.devel: fixed fakerelease doc/Makefile: Don't attempt page rearrangement if dviutils not present
1999-09-13Set proof-{qed,save}-commands.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-09-19 00:45:00 +0000