proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
...
*	Altered release date for 2.1.	David Aspinall	1999-08-24
*	Fixed version variable name.	David Aspinall	1999-08-24
*	Attempted fix of FSFmacs problem, left as comment	David Aspinall	1999-08-24
*	Docstring	David Aspinall	1999-08-24
*	Reverted to 2.1 changes	David Aspinall	1999-08-24
*	Updated	David Aspinall	1999-08-24
*	enabled isar/;	Makarius Wenzel	1999-08-24
*	enabled isar;	Makarius Wenzel	1999-08-24
*	isar-response-mode;	Makarius Wenzel	1999-08-24
*	some output syntax;	Makarius Wenzel	1999-08-24
*	Updated from Coq 6.3 distrib.	David Aspinall	1999-08-23
*	Set version tag for new release.	David Aspinall	1999-08-23
*	FIXME to add menu to goals buffer, to match response buffer menu.	David Aspinall	1999-08-23
*	Changes for 2.3 series pre-releases.	David Aspinall	1999-08-23
*	Set version tag for new release.	David Aspinall	1999-08-23
*	Maintainer addresses	David Aspinall	1999-08-23
*	Very soon now = now	David Aspinall	1999-08-23
*	New items	David Aspinall	1999-08-23
*	Mentioned a few tests	David Aspinall	1999-08-23
*	Updated	David Aspinall	1999-08-23
*	Updated.	David Aspinall	1999-08-23
*	Disable properly if x-symbol is not available.	David Aspinall	1999-08-23
*	fixed comment;	Makarius Wenzel	1999-08-23
*	Updates suggested by Markus and Patrick for Coq 6.3.	David Aspinall	1999-08-23
*	Integrated patch from David von Oheimb.	David Aspinall	1999-08-23
*	Set version tag for new release.	David Aspinall	1999-08-23
*	Fix for toolbar disable for FSF Emacs.	David Aspinall	1999-08-23
*	proof-version -> proof-general-version	David Aspinall	1999-08-23
*	Updates.	David Aspinall	1999-08-23
*	Mentioned C-c C-a being broken. XEmacs 20.4 or later.	David Aspinall	1999-08-23
*	Other usability improvements	David Aspinall	1999-08-23
*	Added font-lock keywords and syntax table setup for buffers displaying	David Aspinall	1999-08-23
*	Improved syntax by copying from isar-syntax.el.	David Aspinall	1999-08-23
*	font-lock-function-face -> font-lock-function-name-face	David Aspinall	1999-08-23
*	print_context;	Makarius Wenzel	1999-08-23
*	Admit that unstable means bugs.	David Aspinall	1999-08-20
*	Remove temporary file	David Aspinall	1999-08-20
*	Updated prover versions	David Aspinall	1999-08-20
*	Mentioned zermelo as temporary server	David Aspinall	1999-08-20
*	Mentioned latest bugs reported by Munchen correspondents	David Aspinall	1999-08-20
*	Disabled binder regexp font locking	David Aspinall	1999-08-20
*	proof-goto-end-of-locked-if-pos-not-visible-in-window:	David Aspinall	1999-08-20
*	updated.	David Aspinall	1999-08-20
*	Date updated.	David Aspinall	1999-08-20
*	Tweaks for 2.1 release	David Aspinall	1999-08-20
*	Fix for process kill timeout bug.	David Aspinall	1999-08-20
*	Changes for PG 2.1	David Aspinall	1999-08-20
*	Improvement for C-c C-o mentioned	David Aspinall	1999-08-20
*	Set version tag for new release.	David Aspinall	1999-08-20
*	eliminated superficial ';'s;	Makarius Wenzel	1999-08-20