aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-shell.el
AgeCommit message (Expand)Author
2003-05-21CommentsDavid Aspinall
2003-03-17Make colour of active scripting indicator change as documentedDavid Aspinall
2003-02-19Cleanups/renaming: remove some dead code, also, hide results of X-Sym enabling.David Aspinall
2003-02-17Remove proof-shell-filter patch of Stefan Monnier which deals with multiple p...David Aspinall
2003-02-17Remove subterm markup striping in proof-shell-process-output (error case). DocsDavid Aspinall
2002-12-29Buglet in proof-shell-ready-proverDavid Aspinall
2002-11-28Revert proof-shell-handle-output version, add failsafe.David Aspinall
2002-11-20proof-shell-invisible-cmd also accepts a function yielding a command.David Aspinall
2002-11-14Tweak calling of pg-pgip processing commands.David Aspinall
2002-11-13Fix to proof-shell-handle-output (or rather, to setting of proof-shell-last-o...David Aspinall
2002-11-11(Failed) Attempt to fix UTF-8 problem for RH8.David Aspinall
2002-11-07Patch from Stefan Monnier to attempt to handle multi-line inputs in Coq; plus...David Aspinall
2002-09-14Change to proof-shell-ready-prover to allow more flexible queue handlingDavid Aspinall
2002-09-13Comment on display anomalyDavid Aspinall
2002-09-11Begin support for thms bufferDavid Aspinall
2002-08-30Updated.David Aspinall
2002-08-28Change proof-shell-theorem-dependency-regexp to use two pieces: names and dep...David Aspinall
2002-08-28Add proof-shell-theorem-dependency-list-splitDavid Aspinall
2002-08-27Disable undo history for efficiency; improve kill buffer hook.David Aspinall
2002-08-15Refactoring.David Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:56:20 +0000