proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	Removed spurious requires.	David Aspinall	2000-06-09
*	adapted to new indentation setup;	Makarius Wenzel	2000-06-08
*	Fixed define-key calls. Set useful default for plastic prog name	David Aspinall	2000-05-29
*	fixed error in test.lf	Paul Callaghan	2000-05-26
*	Added proof-assistant-keymap and commands for defining insert keys.	David Aspinall	2000-05-02
*	pbp-mode -> goals-mode	David Aspinall	2000-04-07
*	Fixed up proof-shell-proof-completed mess nicely.	David Aspinall	2000-04-07
*	New/updated information files	David Aspinall	2000-03-13
*	Fixes for short output duplication problem: set proof-shell-eager-annotation-...	David Aspinall	2000-01-06
*	proof-shell-done-invisible -> proof-done-invisible again	David Aspinall	1999-11-22
*	Fix several bugs caused by interface changes.	David Aspinall	1999-11-17
*	Change name of proof-execute-minibufer-cmd.	David Aspinall	1999-11-15
*	Removed proof-try-command.	David Aspinall	1999-11-15
*	Many robustness improvements for error and interrupt handling:	David Aspinall	1999-11-14
*	Set font-lock-keywords before calling proof-config-done.	David Aspinall	1999-11-12
*	small changes to plastic mode	Paul Callaghan	1999-11-11
*	Electric (active) terminator is now a user option, does not need forcing here.	David Aspinall	1999-11-10
*	Changed name of proof-shell-cd-cmd for uniformity.	David Aspinall	1999-10-21
*	Renamed some configuration variables for uniformity, see CHANGES.	David Aspinall	1999-10-01
*	proof-completed-regexp: match number 1 is response text;	Makarius Wenzel	1999-09-22
*	renamed proof-commands-regexp to proof-indent-commands-regexp, which	Makarius Wenzel	1999-05-27
*	changed use of proof-send (OLD) to proof-shell-insert	Paul Callaghan	1999-05-12
*	instantiation for "plastic" proof assistant	Paul Callaghan	1999-05-11