index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
generic
/
proof-shell.el
Commit message (
Expand
)
Author
Age
...
*
Changed the type of proof-goal-command-p. It takes now a span, which
Pierre Courtieu
2006-04-26
*
Revert use of 'raw-text for coding-system-for-read/write since it changes beh...
David Aspinall
2006-02-14
*
Add <PA>-prog-args and <PA>-prog-env
David Aspinall
2006-02-14
*
actually revert to revision 8.15;
Makarius Wenzel
2005-11-14
*
backtracking my change on function
Pierre Courtieu
2005-11-09
*
added match...with automatic building from atype name.
Pierre Courtieu
2005-11-07
*
Issue proof-assistant-settings-cmd standardly after init cmd.
David Aspinall
2005-09-30
*
Shorter aux buffer names
David Aspinall
2005-09-27
*
refer to proof-shell-unicode for process-environment and coding-system;
Makarius Wenzel
2005-09-14
*
eager message: perform pg-remove-specials-in-string after pg-assoc-strip-subt...
Makarius Wenzel
2005-09-01
*
Comments.
David Aspinall
2005-05-31
*
Fix the removal of ".UTF-8" from LANG.
David Aspinall
2005-05-17
*
Try to avoid filtering/urgent-message-processing of input
David Aspinall
2004-08-26
*
Don't make proof-shell-insert-hook buffer local.
David Aspinall
2004-08-24
*
Simplify clear buffer calls
David Aspinall
2004-08-24
*
Improve handling of intermittent fontification for trace buffers.
David Aspinall
2004-06-24
*
Add hint for proof-next-error. Add proof-shell-quiet-errors as user-level se...
David Aspinall
2004-06-16
*
Allow tracing slow mode to last 2 seconds. Make message more understandable.
David Aspinall
2004-04-27
*
Allow CMD to be nil in proof-shell-invisible-command (failsafe).
David Aspinall
2004-04-26
*
Add proof-eagerly-raise setting, disable it for trace buffer.
David Aspinall
2004-04-18
*
Try to stop frame proliferation: let proof-shell-start make frames,
David Aspinall
2004-04-18
*
Minor changes to avoid some compiler warnings
David Aspinall
2004-04-17
*
Comments.
David Aspinall
2004-04-15
*
Comments.
David Aspinall
2004-04-15
*
Fix buglet in pgip eager annotation stripping.
David Aspinall
2004-04-14
*
Abstract out proof-maybe-askprefs
David Aspinall
2004-04-13
*
Fix proof-shell-wait to not use CPU and observe quit. Add PGIP askprefs to s...
David Aspinall
2004-04-02
*
Adjust proof-shell-wait to use less CPU w/o timeout
David Aspinall
2004-03-30
*
Fix a few compiler warnings
David Aspinall
2004-03-02
*
Fix buglets shown up by byte compilation.
David Aspinall
2004-03-01
*
Add interactive input setting, and extra flags for action.
David Aspinall
2003-10-05
*
Add idle timer to cleanup tracing display.
David Aspinall
2003-06-19
*
Comments.
David Aspinall
2003-06-08
*
Add code to recognize fast tracing output from prover, and play slow catchup.
David Aspinall
2003-06-05
*
Add hint triggered when processing complete
David Aspinall
2003-05-24
*
Comments
David Aspinall
2003-05-21
*
Make colour of active scripting indicator change as documented
David Aspinall
2003-03-17
*
Cleanups/renaming: remove some dead code, also, hide results of X-Sym enabling.
David Aspinall
2003-02-19
*
Remove proof-shell-filter patch of Stefan Monnier which deals with multiple p...
David Aspinall
2003-02-17
*
Remove subterm markup striping in proof-shell-process-output (error case). Docs
David Aspinall
2003-02-17
*
Buglet in proof-shell-ready-prover
David Aspinall
2002-12-29
*
Revert proof-shell-handle-output version, add failsafe.
David Aspinall
2002-11-28
*
proof-shell-invisible-cmd also accepts a function yielding a command.
David Aspinall
2002-11-20
*
Tweak calling of pg-pgip processing commands.
David Aspinall
2002-11-14
*
Fix to proof-shell-handle-output (or rather, to setting of proof-shell-last-o...
David Aspinall
2002-11-13
*
(Failed) Attempt to fix UTF-8 problem for RH8.
David Aspinall
2002-11-11
*
Patch from Stefan Monnier to attempt to handle multi-line inputs in Coq; plus...
David Aspinall
2002-11-07
*
Change to proof-shell-ready-prover to allow more flexible queue handling
David Aspinall
2002-09-14
*
Comment on display anomaly
David Aspinall
2002-09-13
*
Begin support for thms buffer
David Aspinall
2002-09-11
[prev]
[next]