aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-shell.el
AgeCommit message (Collapse)Author
2001-09-03Added handling of tracing buffers using proof-shell-spill-output-regexp.David Aspinall
2001-08-31Add proof-shell-kill-function-hooksDavid Aspinall
2001-08-30Add reassurance to interrupt warning to make Markus happier.David Aspinall
2001-08-16Switch back to using goalsave spans in PBP codeDavid Aspinall
2001-07-23Bug report from Robert Schneck. Make proof-shell-restart start shell. ↵David Aspinall
Goals display convention, not hack.
2001-05-08Copyright date updatedDavid Aspinall
2001-03-20Remove temporary commentsDavid Aspinall
2001-01-11fixed format strings in message, error, etc.Makarius Wenzel
2000-12-20Fix comment to not break texi magicDavid Aspinall
2000-12-20Improvements to span handling, including new variables: ↵David Aspinall
proof-shell-last-output-kind and friends
2000-11-24Added proof-shell-match-pgip-cmdDavid Aspinall
2000-09-28Added proof-shell-strip-crs-from-input.David Aspinall
2000-09-23Call (proof-toolbar-setup) to add toolbar to goals and response bufferDavid Aspinall
Unify goals and response menus with script buffer menu
2000-09-12Add sanity check on important settings for proof shell (underway)David Aspinall
2000-08-29Added proof-shell-auto-terminate-commandsDavid Aspinall
2000-08-28Added proof-shell-set-elisp-variable-regexpDavid Aspinall
2000-08-14Added split string on theorem dependency code, to make list of dependents.David Aspinall
2000-07-19bug fixing in matching theorem dependenciesDavid Aspinall
2000-07-19changes to add theorem dependencies recording in spansDavid Aspinall
2000-06-22Remove modeline from extra frames (in XEmacs).David Aspinall
2000-06-09Strange ? got in by accident.David Aspinall
2000-06-09Remove toolbar and menubar from windows in multiple frame mode.David Aspinall
2000-06-05Added proof-next-error.David Aspinall
proof-shell-invisible-command: add terminator if it seems to be missing (after all: it's useful for users with C-c C-v).
2000-06-01Use proof-running-on-XEmacs variable.David Aspinall
2000-06-01Made require on proof-menu instead of proof-script.David Aspinall
2000-05-30Change order of checks in proof-shell-live-bufferDavid Aspinall
2000-05-29Don\'t wait for ever if process dies on startupDavid Aspinall
2000-05-25Patch for synchronization problem in Coq, perhaps others.David Aspinall
2000-05-11Note abut ;;;###autoload not working for define-derived-mode.David Aspinall
2000-05-09Improved loadingDavid Aspinall
2000-05-05Corrected header.David Aspinall
2000-04-07Comment.David Aspinall
2000-04-07pbp-mode -> goals-modeDavid Aspinall
2000-04-07Fixed up proof-shell-proof-completed mess nicely.David Aspinall
2000-04-04Added implementation of silent switch for turning on/off prover output.David Aspinall
2000-04-04Added proof-shell-clear-state function to collect together state clearing ops.David Aspinall
2000-04-04Update copyright dates, comments.David Aspinall
2000-03-22Fix for activating multiple frames when no active scripting buffer.David Aspinall
2000-03-19CommentDavid Aspinall
2000-03-13Comment about proof-goals-display-qed-message mess.David Aspinall
2000-03-10Names of shell, goals, script buffers now based on proof assistant nameDavid Aspinall
2000-03-09Added proof-shell-process-connection-type.David Aspinall
2000-02-29Forced process-connection-type always to nil, after all. May not be an ↵David Aspinall
issue with non-mule FSF Emacs (that was something different).
2000-02-28Added back ^G fix for Solaris, but not for non-mule FSF.David Aspinall
2000-01-25Temporary fix for problem with Emacs 20.5 reported by PierreDavid Aspinall
1999-11-29TypoDavid Aspinall
1999-11-29Comments about improved handling of urgent message markers, followingDavid Aspinall
jrl's bug report about duplication of occasional urgent messages. The correct fix is to set proof-shell-eager-annotation-start-length properly.
1999-11-24Moved proof-analyse-using-stack to proof-config. Added docstrings for pbp ↵David Aspinall
functions.
1999-11-23Don't bind button1 in goals buffer, so cut and paste still work.David Aspinall
1999-11-22proof-shell-done-invisible -> proof-done-invisible againDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 21:15:59 +0000