proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Missing paren	David Aspinall	2001-12-11
\|
*	Simplify -goals-config-done and -response-config-done to use current buffer. ↵	David Aspinall	2001-12-11
\| \| \| \|	Kill trace buffer with other associated buffers, and set specifiers similarly for multiple frames.
*	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
\| \| \| \|	proof-shell-spill-output-begin: reuse existing buffer;
*	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. ↵	David Aspinall	2001-07-23
\| \| \| \|	Goals display convention, not hack.
*	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
\|
*	Fix comment to not break texi magic	David Aspinall	2000-12-20
\|
*	Improvements to span handling, including new variables: ↵	David Aspinall	2000-12-20
\| \| \| \|	proof-shell-last-output-kind and friends
*	Added proof-shell-match-pgip-cmd	David Aspinall	2000-11-24
\|
*	Added proof-shell-strip-crs-from-input.	David Aspinall	2000-09-28
\|
*	Call (proof-toolbar-setup) to add toolbar to goals and response buffer	David Aspinall	2000-09-23
\| \| \| \|	Unify goals and response menus with script buffer menu
*	Add sanity check on important settings for proof shell (underway)	David Aspinall	2000-09-12
\|
*	Added proof-shell-auto-terminate-commands	David Aspinall	2000-08-29
\|
*	Added proof-shell-set-elisp-variable-regexp	David Aspinall	2000-08-28
\|
*	Added split string on theorem dependency code, to make list of dependents.	David Aspinall	2000-08-14
\|
*	bug fixing in matching theorem dependencies	David Aspinall	2000-07-19
\|
*	changes to add theorem dependencies recording in spans	David Aspinall	2000-07-19
\|
*	Remove modeline from extra frames (in XEmacs).	David Aspinall	2000-06-22
\|
*	Strange ? got in by accident.	David Aspinall	2000-06-09
\|
*	Remove toolbar and menubar from windows in multiple frame mode.	David Aspinall	2000-06-09
\|
*	Added proof-next-error.	David Aspinall	2000-06-05
\| \| \| \| \|	proof-shell-invisible-command: add terminator if it seems to be missing (after all: it's useful for users with C-c C-v).
*	Use proof-running-on-XEmacs variable.	David Aspinall	2000-06-01
\|
*	Made require on proof-menu instead of proof-script.	David Aspinall	2000-06-01
\|
*	Change order of checks in proof-shell-live-buffer	David Aspinall	2000-05-30
\|
*	Don\'t wait for ever if process dies on startup	David Aspinall	2000-05-29
\|
*	Patch for synchronization problem in Coq, perhaps others.	David Aspinall	2000-05-25
\|
*	Note abut ;;;###autoload not working for define-derived-mode.	David Aspinall	2000-05-11
\|
*	Improved loading	David Aspinall	2000-05-09
\|
*	Corrected header.	David Aspinall	2000-05-05
\|
*	Comment.	David Aspinall	2000-04-07
\|
*	pbp-mode -> goals-mode	David Aspinall	2000-04-07
\|
*	Fixed up proof-shell-proof-completed mess nicely.	David Aspinall	2000-04-07
\|
*	Added implementation of silent switch for turning on/off prover output.	David Aspinall	2000-04-04
\|
*	Added proof-shell-clear-state function to collect together state clearing ops.	David Aspinall	2000-04-04
\|
*	Update copyright dates, comments.	David Aspinall	2000-04-04
\|
*	Fix for activating multiple frames when no active scripting buffer.	David Aspinall	2000-03-22
\|
*	Comment	David Aspinall	2000-03-19
\|
*	Comment about proof-goals-display-qed-message mess.	David Aspinall	2000-03-13
\|
*	Names of shell, goals, script buffers now based on proof assistant name	David Aspinall	2000-03-10
\|
*	Added proof-shell-process-connection-type.	David Aspinall	2000-03-09
\|
*	Forced process-connection-type always to nil, after all. May not be an ↵	David Aspinall	2000-02-29
\| \| \| \|	issue with non-mule FSF Emacs (that was something different).