aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-shell.el
AgeCommit message (Expand)Author
2005-09-30Issue proof-assistant-settings-cmd standardly after init cmd.David Aspinall
2005-09-27Shorter aux buffer namesDavid Aspinall
2005-09-14refer to proof-shell-unicode for process-environment and coding-system;Makarius Wenzel
2005-09-01eager message: perform pg-remove-specials-in-string after pg-assoc-strip-subt...Makarius Wenzel
2005-05-31Comments.David Aspinall
2005-05-17Fix the removal of ".UTF-8" from LANG.David Aspinall
2004-08-26Try to avoid filtering/urgent-message-processing of inputDavid Aspinall
2004-08-24Don't make proof-shell-insert-hook buffer local.David Aspinall
2004-08-24Simplify clear buffer callsDavid Aspinall
2004-06-24Improve handling of intermittent fontification for trace buffers.David Aspinall
2004-06-16Add hint for proof-next-error. Add proof-shell-quiet-errors as user-level se...David Aspinall
2004-04-27Allow tracing slow mode to last 2 seconds. Make message more understandable.David Aspinall
2004-04-26Allow CMD to be nil in proof-shell-invisible-command (failsafe).David Aspinall
2004-04-18Add proof-eagerly-raise setting, disable it for trace buffer.David Aspinall
2004-04-18Try to stop frame proliferation: let proof-shell-start make frames,David Aspinall
2004-04-17Minor changes to avoid some compiler warningsDavid Aspinall
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 s...David Aspinall
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 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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 03:14:57 +0000