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
...
*
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
*
Updated.
David Aspinall
2002-08-30
*
Change proof-shell-theorem-dependency-regexp to use two pieces: names and dep...
David Aspinall
2002-08-28
*
Add proof-shell-theorem-dependency-list-split
David Aspinall
2002-08-28
*
Disable undo history for efficiency; improve kill buffer hook.
David Aspinall
2002-08-27
*
Refactoring.
David Aspinall
2002-08-15
*
Add proof-shell-strip-crs-from-output
David Aspinall
2002-08-07
*
Reorganized menus; add options save function; fix capitalization of names
David Aspinall
2002-08-07
*
Comments
David Aspinall
2002-08-07
*
Variable name change proof-comment-{start,end}-regexp -> proof-script-comment...
David Aspinall
2002-07-19
*
Dont call dont-show-annotations for GNU Emacs to avoid nasty bug.
David Aspinall
2002-07-18
*
Add proof-shell-invisible-cmd-get-result
David Aspinall
2002-07-17
*
Refactor several variable names; clean up, doc subterm markup and output disp...
David Aspinall
2002-07-16
*
Refactoring
David Aspinall
2002-07-16
*
Cleaning up PBP code
David Aspinall
2002-07-16
*
Trivial
David Aspinall
2002-07-12
*
When killing process or scripting buffer, register file if it is complete, ra...
David Aspinall
2002-06-30
*
proof-shell-kill-function: deactivate scripting before shutting down prover
David Aspinall
2002-06-30
*
GPL
David Aspinall
2002-06-21
*
Add proof-shell-last-prompt.
David Aspinall
2002-06-19
*
Experiment with showing real prover output for aborted proofs.
David Aspinall
2002-06-13
*
Add proof-nesting-depth, new implementation of span amalgamation in proof-don...
David Aspinall
2002-06-11
*
Clean up span.el loading
David Aspinall
2002-06-08
*
Remove toolbar gutters in multiple frame mode. Add proof-shell-truncate-befo...
David Aspinall
2002-03-21
*
Add check for Emacs21.
David Aspinall
2002-02-23
*
Only create trace buffer if liable to be used. Remove experimental spill-out...
David Aspinall
2002-01-16
*
Remove defunct code
David Aspinall
2002-01-15
*
Inspect quit-flag when displaying tracing output; send an interrupt to the pr...
David Aspinall
2002-01-15
*
Redisplay during tracing output on XEmacs
David Aspinall
2002-01-15
*
Missing paren
David Aspinall
2001-12-11
*
Simplify -goals-config-done and -response-config-done to use current buffer. ...
David Aspinall
2001-12-11
*
Add handling of proof-trace-buffer.
David Aspinall
2001-12-10
*
Dont return a fontified string in proof-response-buffer-display.
David Aspinall
2001-12-10
*
proof-release-lock: do not touch proof-shell-spill-output-buffer;
Makarius Wenzel
2001-12-05
*
Implement Robert Schnecks idea to help Coq display whole of goals output.
David Aspinall
2001-09-24
*
Fix bracket bug.
David Aspinall
2001-09-03
*
Added handling of tracing buffers using proof-shell-spill-output-regexp.
David Aspinall
2001-09-03
*
Add proof-shell-kill-function-hooks
David Aspinall
2001-08-31
*
Add reassurance to interrupt warning to make Markus happier.
David Aspinall
2001-08-30
*
Switch back to using goalsave spans in PBP code
David Aspinall
2001-08-16
*
Bug report from Robert Schneck. Make proof-shell-restart start shell. Goals...
David Aspinall
2001-07-23
*
Copyright date updated
David Aspinall
2001-05-08
*
Remove temporary comments
David Aspinall
2001-03-20
*
fixed format strings in message, error, etc.
Makarius Wenzel
2001-01-11
[prev]
[next]