aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-shell.el
AgeCommit message (Expand)Author
2002-06-08Clean up span.el loadingDavid Aspinall
2002-03-21Remove toolbar gutters in multiple frame mode. Add proof-shell-truncate-befo...David Aspinall
2002-02-23Add check for Emacs21.David Aspinall
2002-01-16Only create trace buffer if liable to be used. Remove experimental spill-out...David Aspinall
2002-01-15Remove defunct codeDavid Aspinall
2002-01-15Inspect quit-flag when displaying tracing output; send an interrupt to the pr...David Aspinall
2002-01-15Redisplay during tracing output on XEmacsDavid Aspinall
2001-12-11Missing parenDavid Aspinall
2001-12-11Simplify -goals-config-done and -response-config-done to use current buffer. ...David Aspinall
2001-12-10Add handling of proof-trace-buffer.David Aspinall
2001-12-10Dont return a fontified string in proof-response-buffer-display.David Aspinall
2001-12-05proof-release-lock: do not touch proof-shell-spill-output-buffer;Makarius Wenzel
2001-09-24Implement Robert Schnecks idea to help Coq display whole of goals output.David Aspinall
2001-09-03Fix bracket bug.David Aspinall
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. Goals...David Aspinall
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: proof-shell-last-outp...David Aspinall
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
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
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 19:10:10 +0000