proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	Comment fix.	David Aspinall	1999-09-21
*	Robustification so that new instances are easier to add	David Aspinall	1999-09-21
*	proof-shell-grab-lock runs proof-state-change-hook.	David Aspinall	1999-09-21
*	Callback for proof-shell-done-invisible now runs proof-state-change-hook.	David Aspinall	1999-09-21
*	Fix so that buffer names are shorter (esp for Coq).	David Aspinall	1999-09-13
*	tuned x-symbol setup (DvO);	Makarius Wenzel	1999-09-09
*	FIXME to add menu to goals buffer, to match response buffer menu.	David Aspinall	1999-08-23
*	Fix for process kill timeout bug.	David Aspinall	1999-08-20
*	prefer proof-shell-interrupt-regexp over proof-shell-error-regexp	Makarius Wenzel	1999-08-20
*	Fix for XEmacs 21	David Aspinall	1999-08-20
*	Reverted change to Inferior buffer's name, it fails on simple	David Aspinall	1999-07-22
*	unkillable buffer bugfix	Patrick Loiseleur	1999-06-21
*	Bugfixes in proof-shell-exit and proof-shell-kill-function	Patrick Loiseleur	1999-06-14
*	* empty log message *	Patrick Loiseleur	1999-06-08
*	removed superficial space;	Makarius Wenzel	1999-05-25
*	I've added the custom option 'prog-name-guess' in the generic part and	Patrick Loiseleur	1999-05-17
*	Experimental bug fix for Solaris problem	David Aspinall	1999-01-15
*	Beginnings of x-symbol support.	David Aspinall	1998-12-18
*	Fixes for FSF Emacs handling of processes, kill buffer hooks,	David Aspinall	1998-12-15
*	made many minor changes to the documentation	Thomas Kleymann	1998-12-15
*	Disabled hack for proof-shell-process-file which allowed	David Aspinall	1998-12-11
*	Removed proof-send, now use proof-shell-insert instead.	David Aspinall	1998-12-11
*	Disabled span-making part of proof-shell-analyse structure for Emacs 20.3	David Aspinall	1998-12-11
*	Made point stay at top of goals buffer and bottom of response buffer	David Aspinall	1998-12-10
*	o special characters are no longer displayed in (16Bit) FSF GNU Emacs	Thomas Kleymann	1998-12-08
*	Added proof-shell-preprocess-command for Paul Callaghan.	David Aspinall	1998-12-07
*	BUG fix: proof-shell-message with str's containing format characters.	David Aspinall	1998-11-26
*	Got rid of an error message in case of process early exiting.	David Aspinall	1998-11-25
*	Docstring improvements.	David Aspinall	1998-11-25
*	FSF Emacs fix for buffer-file-truename, which is the	David Aspinall	1998-11-25
*	Improved kill function. Added process sentinel to watch for process exiting.	David Aspinall	1998-11-25
*	Replaced proof-pbp-buffer with proof-goals-buffer.	David Aspinall	1998-11-25
*	In filter: minor improvement for when proof-shell-wakeup-char is set.	David Aspinall	1998-11-25
*	Use make-local-hook instead of make-local-variable	David Aspinall	1998-11-25
*	Fixed up exit hook (still buggy)	David Aspinall	1998-11-25
*	Docstring fixes, minor improvements.	David Aspinall	1998-11-25
*	Improved docstrings	David Aspinall	1998-11-25
*	Docstring fixes	David Aspinall	1998-11-25
*	Reimplemented functions to shut down and restart proof process.	David Aspinall	1998-11-20
*	BIG CHANGES -- SORRY!	David Aspinall	1998-11-20
*	. Changed behaviour of retracting current scripting buffer:	David Aspinall	1998-11-18
*	. bug fix for proof-shell-live-buffer.	David Aspinall	1998-11-18
*	Rashly fixed a suspicious looking nested use of set-buffer. Docstrings.	David Aspinall	1998-11-12
*	Renamed proof-mode-name -> proof-general-name.	David Aspinall	1998-11-12
*	Added buffers menu, and added shared menu to shell and response buffers.	David Aspinall	1998-11-10
*	Fixed bug for when proof-rsh-command is empty	David Aspinall	1998-11-10
*	Refresh response buffer when goals buffer is refreshed.	Thomas Kleymann	1998-11-10
*	Added proof-rsh-command to help complete documentation (was allocated	David Aspinall	1998-11-09
*	Being pedantic about variables versus predicates, renamed prog-name-ask-p.	David Aspinall	1998-11-03
*	Removed FIXME	David Aspinall	1998-11-03