aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-shell.el
Commit message (Expand)AuthorAge
...
* Tweak calling of pg-pgip processing commands.Gravatar David Aspinall2002-11-14
* Fix to proof-shell-handle-output (or rather, to setting of proof-shell-last-o...Gravatar David Aspinall2002-11-13
* (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; plus...Gravatar David Aspinall2002-11-07
* 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
* Updated.Gravatar David Aspinall2002-08-30
* Change proof-shell-theorem-dependency-regexp to use two pieces: names and dep...Gravatar David Aspinall2002-08-28
* Add proof-shell-theorem-dependency-list-splitGravatar David Aspinall2002-08-28
* Disable undo history for efficiency; improve kill buffer hook.Gravatar David Aspinall2002-08-27
* Refactoring.Gravatar David Aspinall2002-08-15
* Add proof-shell-strip-crs-from-outputGravatar David Aspinall2002-08-07
* Reorganized menus; add options save function; fix capitalization of namesGravatar David Aspinall2002-08-07
* CommentsGravatar David Aspinall2002-08-07
* Variable name change proof-comment-{start,end}-regexp -> proof-script-comment...Gravatar David Aspinall2002-07-19
* Dont call dont-show-annotations for GNU Emacs to avoid nasty bug.Gravatar David Aspinall2002-07-18
* Add proof-shell-invisible-cmd-get-resultGravatar David Aspinall2002-07-17
* Refactor several variable names; clean up, doc subterm markup and output disp...Gravatar David Aspinall2002-07-16
* RefactoringGravatar David Aspinall2002-07-16
* Cleaning up PBP codeGravatar David Aspinall2002-07-16
* TrivialGravatar David Aspinall2002-07-12
* When killing process or scripting buffer, register file if it is complete, ra...Gravatar David Aspinall2002-06-30
* proof-shell-kill-function: deactivate scripting before shutting down proverGravatar David Aspinall2002-06-30
* GPLGravatar David Aspinall2002-06-21
* Add proof-shell-last-prompt.Gravatar David Aspinall2002-06-19
* Experiment with showing real prover output for aborted proofs.Gravatar David Aspinall2002-06-13
* Add proof-nesting-depth, new implementation of span amalgamation in proof-don...Gravatar David Aspinall2002-06-11
* Clean up span.el loadingGravatar David Aspinall2002-06-08
* Remove toolbar gutters in multiple frame mode. Add proof-shell-truncate-befo...Gravatar David Aspinall2002-03-21
* Add check for Emacs21.Gravatar David Aspinall2002-02-23
* Only create trace buffer if liable to be used. Remove experimental spill-out...Gravatar David Aspinall2002-01-16
* Remove defunct codeGravatar David Aspinall2002-01-15
* Inspect quit-flag when displaying tracing output; send an interrupt to the pr...Gravatar David Aspinall2002-01-15
* Redisplay during tracing output on XEmacsGravatar David Aspinall2002-01-15
* Missing parenGravatar David Aspinall2001-12-11
* Simplify -goals-config-done and -response-config-done to use current buffer. ...Gravatar David Aspinall2001-12-11
* Add handling of proof-trace-buffer.Gravatar David Aspinall2001-12-10
* Dont return a fontified string in proof-response-buffer-display.Gravatar David Aspinall2001-12-10
* proof-release-lock: do not touch proof-shell-spill-output-buffer;Gravatar Makarius Wenzel2001-12-05
* Implement Robert Schnecks idea to help Coq display whole of goals output.Gravatar David Aspinall2001-09-24
* Fix bracket bug.Gravatar David Aspinall2001-09-03
* Added handling of tracing buffers using proof-shell-spill-output-regexp.Gravatar David Aspinall2001-09-03
* Add proof-shell-kill-function-hooksGravatar David Aspinall2001-08-31
* Add reassurance to interrupt warning to make Markus happier.Gravatar David Aspinall2001-08-30
* Switch back to using goalsave spans in PBP codeGravatar David Aspinall2001-08-16
* Bug report from Robert Schneck. Make proof-shell-restart start shell. Goals...Gravatar David Aspinall2001-07-23
* Copyright date updatedGravatar David Aspinall2001-05-08
* Remove temporary commentsGravatar David Aspinall2001-03-20
* fixed format strings in message, error, etc.Gravatar Makarius Wenzel2001-01-11
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-27 20:09:27 +0000