aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-shell.el
Commit message (Collapse)AuthorAge
...
* Changed the type of proof-goal-command-p. It takes now a span, whichGravatar Pierre Courtieu2006-04-26
| | | | | | allows using a span attribute to detect goal commands. I think I modified all modes accordingly.
* Revert use of 'raw-text for coding-system-for-read/write since it changes ↵Gravatar David Aspinall2006-02-14
| | | | behaviour in at least one Emacs version, causing PG to hang.
* Add <PA>-prog-args and <PA>-prog-envGravatar David Aspinall2006-02-14
|
* actually revert to revision 8.15;Gravatar Makarius Wenzel2005-11-14
|
* backtracking my change on functionGravatar Pierre Courtieu2005-11-09
| | | | | proof-shell-invisible-cmd-get-result, we will fix this better with David soon (use of the noerror arg).
* added match...with automatic building from atype name.Gravatar Pierre Courtieu2005-11-07
| | | | Had to correct a bug in proof-shell.
* Issue proof-assistant-settings-cmd standardly after init cmd.Gravatar David Aspinall2005-09-30
|
* Shorter aux buffer namesGravatar David Aspinall2005-09-27
|
* refer to proof-shell-unicode for process-environment and coding-system;Gravatar Makarius Wenzel2005-09-14
|
* eager message: perform pg-remove-specials-in-string after ↵Gravatar Makarius Wenzel2005-09-01
| | | | pg-assoc-strip-subterm-markup;
* Comments.Gravatar David Aspinall2005-05-31
|
* Fix the removal of ".UTF-8" from LANG.Gravatar David Aspinall2005-05-17
|
* Try to avoid filtering/urgent-message-processing of inputGravatar David Aspinall2004-08-26
|
* Don't make proof-shell-insert-hook buffer local.Gravatar David Aspinall2004-08-24
| | | | Protect x-symbol-shell-config against failure of the init-cmd.
* Simplify clear buffer callsGravatar David Aspinall2004-08-24
|
* Improve handling of intermittent fontification for trace buffers.Gravatar David Aspinall2004-06-24
|
* Add hint for proof-next-error. Add proof-shell-quiet-errors as user-level ↵Gravatar David Aspinall2004-06-16
| | | | setting.
* Allow tracing slow mode to last 2 seconds. Make message more understandable.Gravatar David Aspinall2004-04-27
|
* Allow CMD to be nil in proof-shell-invisible-command (failsafe).Gravatar David Aspinall2004-04-26
|
* Add proof-eagerly-raise setting, disable it for trace buffer.Gravatar David Aspinall2004-04-18
|
* Try to stop frame proliferation: let proof-shell-start make frames,Gravatar David Aspinall2004-04-18
| | | | | | | proof-shell-kill tear them down. Add proof-shell-fiddle-frames incase this causes mass customer annoyance. Also move point of specifier setting to after mode has been configured for associated buffer; this makes settings persist better on XEmacs.
* Minor changes to avoid some compiler warningsGravatar David Aspinall2004-04-17
|
* Comments.Gravatar David Aspinall2004-04-15
|
* Comments.Gravatar David Aspinall2004-04-15
|
* Fix buglet in pgip eager annotation stripping.Gravatar David Aspinall2004-04-14
|
* Abstract out proof-maybe-askprefsGravatar David Aspinall2004-04-13
|
* Fix proof-shell-wait to not use CPU and observe quit. Add PGIP askprefs to ↵Gravatar David Aspinall2004-04-02
| | | | startup.
* Adjust proof-shell-wait to use less CPU w/o timeoutGravatar David Aspinall2004-03-30
|
* Fix a few compiler warningsGravatar David Aspinall2004-03-02
|
* Fix buglets shown up by byte compilation.Gravatar David Aspinall2004-03-01
|
* Add interactive input setting, and extra flags for action.Gravatar David Aspinall2003-10-05
|
* Add idle timer to cleanup tracing display.Gravatar David Aspinall2003-06-19
|
* Comments.Gravatar David Aspinall2003-06-08
|
* Add code to recognize fast tracing output from prover, and play slow catchup.Gravatar David Aspinall2003-06-05
|
* Add hint triggered when processing completeGravatar David Aspinall2003-05-24
|
* CommentsGravatar David Aspinall2003-05-21
|
* Make colour of active scripting indicator change as documentedGravatar David Aspinall2003-03-17
|
* Cleanups/renaming: remove some dead code, also, hide results of X-Sym enabling.Gravatar David Aspinall2003-02-19
|
* Remove proof-shell-filter patch of Stefan Monnier which deals with multiple ↵Gravatar David Aspinall2003-02-17
| | | | prompts, but produces spurious output with Isabelle.
* Remove subterm markup striping in proof-shell-process-output (error case). DocsGravatar David Aspinall2003-02-17
|
* Buglet in proof-shell-ready-proverGravatar David Aspinall2002-12-29
|
* Revert proof-shell-handle-output version, add failsafe.Gravatar David Aspinall2002-11-28
|
* proof-shell-invisible-cmd also accepts a function yielding a command.Gravatar David Aspinall2002-11-20
|
* Tweak calling of pg-pgip processing commands.Gravatar David Aspinall2002-11-14
|
* Fix to proof-shell-handle-output (or rather, to setting of ↵Gravatar David Aspinall2002-11-13
| | | | proof-shell-last-output)
* (Failed) Attempt to fix UTF-8 problem for RH8.Gravatar David Aspinall2002-11-11
|
* Patch from Stefan Monnier to attempt to handle multi-line inputs in Coq; ↵Gravatar David Aspinall2002-11-07
| | | | plus cosmetics.
* Change to proof-shell-ready-prover to allow more flexible queue handlingGravatar David Aspinall2002-09-14
|
* Comment on display anomalyGravatar David Aspinall2002-09-13
|
* Begin support for thms bufferGravatar David Aspinall2002-09-11
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-08 13:16:11 +0000