aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-shell.el
Commit message (Expand)AuthorAge
* 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
* Improved loadingGravatar David Aspinall2000-05-09
* Corrected header.Gravatar David Aspinall2000-05-05
* Comment.Gravatar David Aspinall2000-04-07
* pbp-mode -> goals-modeGravatar David Aspinall2000-04-07
* Fixed up proof-shell-proof-completed mess nicely.Gravatar David Aspinall2000-04-07
* Added implementation of silent switch for turning on/off prover output.Gravatar David Aspinall2000-04-04
* Added proof-shell-clear-state function to collect together state clearing ops.Gravatar David Aspinall2000-04-04
* Update copyright dates, comments.Gravatar David Aspinall2000-04-04
* Fix for activating multiple frames when no active scripting buffer.Gravatar David Aspinall2000-03-22
* CommentGravatar David Aspinall2000-03-19
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-24 12:08:49 +0000