proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	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
\| \| \| \|	Added proof-unnamed-theorem-name.
*	Fixed coalescing of error messages: all error messages from	David Aspinall	1999-10-06
\| \| \| \|	the last command are now show. Added extra docs to clarify behaviour.
*	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
\|
*	Ambitiously mentioned bug fix for Solaris problem	David Aspinall	1999-01-15
\|
*	Updated.	David Aspinall	1999-01-15
\|