aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-shell.el
Commit message (Expand)AuthorAge
* 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
* Fix comment to not break texi magicGravatar David Aspinall2000-12-20
* Improvements to span handling, including new variables: proof-shell-last-outp...Gravatar David Aspinall2000-12-20
* Added proof-shell-match-pgip-cmdGravatar David Aspinall2000-11-24
* Added proof-shell-strip-crs-from-input.Gravatar David Aspinall2000-09-28
* Call (proof-toolbar-setup) to add toolbar to goals and response bufferGravatar David Aspinall2000-09-23
* Add sanity check on important settings for proof shell (underway)Gravatar David Aspinall2000-09-12
* Added proof-shell-auto-terminate-commandsGravatar David Aspinall2000-08-29
* Added proof-shell-set-elisp-variable-regexpGravatar David Aspinall2000-08-28
* Added split string on theorem dependency code, to make list of dependents.Gravatar David Aspinall2000-08-14
* bug fixing in matching theorem dependenciesGravatar David Aspinall2000-07-19
* changes to add theorem dependencies recording in spansGravatar David Aspinall2000-07-19
* Remove modeline from extra frames (in XEmacs).Gravatar David Aspinall2000-06-22
* Strange ? got in by accident.Gravatar David Aspinall2000-06-09
* Remove toolbar and menubar from windows in multiple frame mode.Gravatar David Aspinall2000-06-09
* Added proof-next-error.Gravatar David Aspinall2000-06-05
* Use proof-running-on-XEmacs variable.Gravatar David Aspinall2000-06-01
* Made require on proof-menu instead of proof-script.Gravatar David Aspinall2000-06-01
* Change order of checks in proof-shell-live-bufferGravatar David Aspinall2000-05-30
* Don\'t wait for ever if process dies on startupGravatar David Aspinall2000-05-29
* Patch for synchronization problem in Coq, perhaps others.Gravatar David Aspinall2000-05-25
* Note abut ;;;###autoload not working for define-derived-mode.Gravatar David Aspinall2000-05-11
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-13 23:00:07 +0000