proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	Changes for better testing	David Aspinall	1998-11-18
*	Fixed problem with list_loaded_files and update().	David Aspinall	1998-11-18
*	Added Proof General menu to theory file mode.	David Aspinall	1998-11-18
*	. Changed behaviour of retracting current scripting buffer:	David Aspinall	1998-11-18
*	. Bug fix: moved proof-mark-buffer-atomic from proof-mode body to	David Aspinall	1998-11-18
*	Improved proof-clean-buffer. Now only deletes windows in currently	David Aspinall	1998-11-18
*	improvements to docstrings and defcustoms.	David Aspinall	1998-11-18
*	Bug fix and adjustments in proof-response-buffer-display	David Aspinall	1998-11-18
*	Removed proof-response-buffer-display from byte compile autoloads	David Aspinall	1998-11-18
*	. bug fix for proof-shell-live-buffer.	David Aspinall	1998-11-18
*	Added optional argument to proof-ids for non-comma separators.	David Aspinall	1998-11-18
*	Added clear_response_buffer regexp, use_thy_and_update now in ProofGeneral	David Aspinall	1998-11-18
*	Improvements and cleanups:	David Aspinall	1998-11-18
*	Added notes of default values for user options.	David Aspinall	1998-11-18
*	new file to factor out improved theory reader junk.	David Aspinall	1998-11-18
*	Added section on theory files to Isabelle chapter	David Aspinall	1998-11-12
*	Minor fixes/improvements	David Aspinall	1998-11-12
*	Bug in regexp	David Aspinall	1998-11-12
*	In a fit of autocracy, removed proof-tags-support, binding for	David Aspinall	1998-11-12
*	More re-ordering to move important stuff up the list	David Aspinall	1998-11-12
*	Added Goals buffer to buffers menu -- I forgot it\!	David Aspinall	1998-11-12
*	Rashly fixed a suspicious looking nested use of set-buffer. Docstrings.	David Aspinall	1998-11-12
*	Fixed error regexp	David Aspinall	1998-11-12
*	Added "Changing faces" section.	David Aspinall	1998-11-12
*	Added proof-auto-delete-windows user option.	David Aspinall	1998-11-12
*	Minor improvement to atrocious performance of proof-sement-up-to.	David Aspinall	1998-11-12
*	Note about atrocious performance of proof-sement-up-to, even when compiled.	David Aspinall	1998-11-12
*	Reorganized.	David Aspinall	1998-11-12
*	Fixed a regexp.	David Aspinall	1998-11-12
*	Fixed bug with find-next-terminator.	David Aspinall	1998-11-12
*	Added note about removing proof-goal-command-p	David Aspinall	1998-11-12
*	Added setting for proof-goal-command-regexp	David Aspinall	1998-11-12
*	Renamed proof-mode-name -> proof-general-name.	David Aspinall	1998-11-12
*	Replaced custom-set-variables with customize-set-variable:	David Aspinall	1998-11-12
*	Removed some Emacs jargon from features list.	David Aspinall	1998-11-12
*	Set version tag for new release.	David Aspinall	1998-11-10
*	added entry to convert dvi into ps.	Thomas Kleymann	1998-11-10
*	Added doc to short term improvements. It won't be good for 2.0, 8-(.	David Aspinall	1998-11-10
*	Disabled problematic requires temporarily.	David Aspinall	1998-11-10
*	Added buffers menu, and added shared menu to shell and response buffers.	David Aspinall	1998-11-10
*	Added X idea for using indirect buffers.	David Aspinall	1998-11-10
*	Removed references of proof-shell-noise-regexp	Thomas Kleymann	1998-11-10
*	(briefly) documented problem with sections in Coq	Thomas Kleymann	1998-11-10
*	documented problem with Discharge in LEGO	Thomas Kleymann	1998-11-10
*	Fixed bug for when proof-rsh-command is empty	David Aspinall	1998-11-10
*	Changed text ready for 2.0 release	David Aspinall	1998-11-10
*	Removed spurious fi	David Aspinall	1998-11-10
*	Added some support for making a full release. Must edit html by hand though.	David Aspinall	1998-11-10
*	Refresh response buffer when goals buffer is refreshed.	Thomas Kleymann	1998-11-10
*	Fixes for byte compilations and missing bits of Isamode.	David Aspinall	1998-11-10