proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	Updated	David Aspinall	1999-11-22
*	Tweaks	David Aspinall	1999-11-17
*	Updated	David Aspinall	1999-11-17
*	Updated	David Aspinall	1999-11-16
*	Updated	David Aspinall	1999-11-15
*	Updated	David Aspinall	1999-11-15
*	Updated	David Aspinall	1999-11-14
*	Improvement of user options, change of terminology.	David Aspinall	1999-11-10
*	Updated	David Aspinall	1999-11-08
*	Updated	David Aspinall	1999-11-08
*	Added inform-file-retracted-cmd setting	David Aspinall	1999-10-21
*	Renamed proof-shell-inform-file-processed-cmd	David Aspinall	1999-10-21
*	Changed name to proof-shell-inform-file-processed-cmd	David Aspinall	1999-10-21
*	Fixes.	David Aspinall	1999-10-20
*	Made proof-site only load once.	David Aspinall	1999-10-20
*	Note about queue improvements.	David Aspinall	1999-10-15
*	Mention proof-toolbar-use-enablers	David Aspinall	1999-10-12
*	Speed optimizations, part I.	David Aspinall	1999-10-06
*	Next version will be 3.0 cvs update	David Aspinall	1999-10-06
*	More improvements/fixes for closing unfinished proofs.	David Aspinall	1999-10-06
*	Fixed coalescing of error messages: all error messages from	David Aspinall	1999-10-06
*	Updated	David Aspinall	1999-10-06
*	Updated	David Aspinall	1999-10-06
*	Updated	David Aspinall	1999-10-06
*	Admin changes for version 2.2.	David Aspinall	1999-10-06
*	proof-try-command is deprecated	David Aspinall	1999-10-06
*	Renamed some configuration variables for uniformity, see CHANGES.	David Aspinall	1999-10-01
*	Unhappily added proof-shell-leave-annotations-in-output hack.	David Aspinall	1999-09-29
*	proof-mouse-track-insert only seems to work on XEmacs	David Aspinall	1999-09-29
*	Mentioned proof-mouse-track-insert.	David Aspinall	1999-09-29
*	Updated	David Aspinall	1999-09-28
*	Updated	David Aspinall	1999-09-24
*	Updated	David Aspinall	1999-09-23
*	Updated	David Aspinall	1999-09-22
*	Expanded.	David Aspinall	1999-09-21
*	Updated	David Aspinall	1999-09-13
*	updated	David Aspinall	1999-08-27
*	Changed for version 2.2 pre-release.	David Aspinall	1999-08-27
*	Reverted to 2.1 changes	David Aspinall	1999-08-24
*	Changes for 2.3 series pre-releases.	David Aspinall	1999-08-23
*	Updated.	David Aspinall	1999-08-23
*	Other usability improvements	David Aspinall	1999-08-23
*	Notice about versions supported, fixes.	David Aspinall	1999-07-03
*	Updates for new web pages, todo list.	David Aspinall	1999-06-24
*	Mention Plastic and Isar	David Aspinall	1999-06-07
*	Merged changes sent by Patrick Loiseleur.	David Aspinall	1999-04-07
*	Clarification on isa-thy fix.	David Aspinall	1999-03-08
*	Mentioned PROOFGENERAL_ASSISTANTS	David Aspinall	1999-02-22
*	Updated.	David Aspinall	1999-02-22
*	Mentioned proof-case-fold-search	David Aspinall	1999-02-01