aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-shell.el
AgeCommit message (Expand)Author
2002-08-07Add proof-shell-strip-crs-from-outputDavid Aspinall
2002-08-07Reorganized menus; add options save function; fix capitalization of namesDavid Aspinall
2002-08-07CommentsDavid Aspinall
2002-07-19Variable name change proof-comment-{start,end}-regexp -> proof-script-comment...David Aspinall
2002-07-18Dont call dont-show-annotations for GNU Emacs to avoid nasty bug.David Aspinall
2002-07-17Add proof-shell-invisible-cmd-get-resultDavid Aspinall
2002-07-16Refactor several variable names; clean up, doc subterm markup and output disp...David Aspinall
2002-07-16RefactoringDavid Aspinall
2002-07-16Cleaning up PBP codeDavid Aspinall
2002-07-12TrivialDavid Aspinall
2002-06-30When killing process or scripting buffer, register file if it is complete, ra...David Aspinall
2002-06-30proof-shell-kill-function: deactivate scripting before shutting down proverDavid Aspinall
2002-06-21GPLDavid Aspinall
2002-06-19Add proof-shell-last-prompt.David Aspinall
2002-06-13Experiment with showing real prover output for aborted proofs.David Aspinall
2002-06-11Add proof-nesting-depth, new implementation of span amalgamation in proof-don...David Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 10:11:36 +0000