aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-shell.el
AgeCommit message (Collapse)Author
2004-04-15Comments.David Aspinall
2004-04-15Comments.David Aspinall
2004-04-14Fix buglet in pgip eager annotation stripping.David Aspinall
2004-04-13Abstract out proof-maybe-askprefsDavid Aspinall
2004-04-02Fix proof-shell-wait to not use CPU and observe quit. Add PGIP askprefs to ↵David Aspinall
startup.
2004-03-30Adjust proof-shell-wait to use less CPU w/o timeoutDavid Aspinall
2004-03-02Fix a few compiler warningsDavid Aspinall
2004-03-01Fix buglets shown up by byte compilation.David Aspinall
2003-10-05Add interactive input setting, and extra flags for action.David Aspinall
2003-06-19Add idle timer to cleanup tracing display.David Aspinall
2003-06-08Comments.David Aspinall
2003-06-05Add code to recognize fast tracing output from prover, and play slow catchup.David Aspinall
2003-05-24Add hint triggered when processing completeDavid Aspinall
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 ↵David Aspinall
prompts, but produces spurious output with Isabelle.
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 ↵David Aspinall
proof-shell-last-output)
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; ↵David Aspinall
plus cosmetics.
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 ↵David Aspinall
dependencies
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 -> ↵David Aspinall
proof-script-comment-{start,end}-regexp.
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 ↵David Aspinall
display.
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, ↵David Aspinall
rather than always retracting.
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 ↵David Aspinall
proof-done-advancing.
2002-06-08Clean up span.el loadingDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 17:46:55 +0000