aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-shell.el
AgeCommit message (Expand)Author
2007-12-14Cleanup coding system setting, commentsDavid Aspinall
2007-12-14Add proof-shell-set-text-representation to disable multibyte characters in le...David Aspinall
2007-12-14Munging with input/output encoding; try to make consistent.David Aspinall
2007-12-14Tune some comments. Remove annotations in processed text fromDavid Aspinall
2007-12-13Remvoe typoDavid Aspinall
2007-12-13Comment the removal of the call to toggle-enable-multibyte-characters.David Aspinall
2007-12-12Compatibility with coq trunk where some special symbols are removed.Pierre Courtieu
2007-08-19proof-append-alist: detach queue span if no commands after comments stripped.David Aspinall
2007-05-10Patch for utf-8 testDavid Aspinall
2006-09-22Cut comint input ring, minor efficiency tweak.David Aspinall
2006-09-22Comments.David Aspinall
2006-08-16Fixed messages of prover process starting and errors in order to havePierre Courtieu
2006-05-26Add back 'raw-text setting, now LANG settings aren't taking effect again [me:...David Aspinall
2006-05-23Fix to remove mention of coding-system-for-write, coding-system-for-read not ...David Aspinall
2006-04-26Changed the type of proof-goal-command-p. It takes now a span, whichPierre Courtieu
2006-02-14Revert use of 'raw-text for coding-system-for-read/write since it changes beh...David Aspinall
2006-02-14Add <PA>-prog-args and <PA>-prog-envDavid Aspinall
2005-11-14actually revert to revision 8.15;Makarius Wenzel
2005-11-09backtracking my change on functionPierre Courtieu
2005-11-07added match...with automatic building from atype name.Pierre Courtieu
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-26 03:32:28 +0000