proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	Updated headers.	David Aspinall	2000-03-09
*	Added README files for each prover, summarizing status.	David Aspinall	2000-03-09
*	Added new regexp for recognizing LEGO errors.	David Aspinall	2000-03-08
*	Split low-level todo into several files.	David Aspinall	2000-03-08
*	Fixes for short output duplication problem: set proof-shell-eager-annotation-...	David Aspinall	2000-01-06
*	Docstring	David Aspinall	1999-11-24
*	Remove xi, appears in exists.	David Aspinall	1999-11-15
*	Use infixes to show off X-Symbol	David Aspinall	1999-11-15
*	preliminary X-Symbol support	David Aspinall	1999-11-15
*	proof-font-lock-zap-commas=t	David Aspinall	1999-11-15
*	proof-nested-goals-allowed -> proof-completed-proof-behaviour	David Aspinall	1999-11-14
*	Set font-lock-keywords before calling proof-config-done.	David Aspinall	1999-11-12
*	Changed name of proof-shell-cd-cmd for uniformity.	David Aspinall	1999-10-21
*	More improvements/fixes for closing unfinished proofs.	David Aspinall	1999-10-06
*	Fixed proof-showproof-command	David Aspinall	1999-10-06
*	Renamed some configuration variables for uniformity, see CHANGES.	David Aspinall	1999-10-01
*	unified example with other proof assistants;	Makarius Wenzel	1999-09-24
*	proof-completed-regexp: match number 1 is response text;	Makarius Wenzel	1999-09-22
*	Cleaned up example files so all demonstrate same theorem "conj_comms".	David Aspinall	1999-09-13
*	renamed proof-commands-regexp to proof-indent-commands-regexp, which	Makarius Wenzel	1999-05-27
*	fixed syntax entry for "_"	Thomas Kleymann	1999-02-03
*	Use proof-string-match in appropriate places	David Aspinall	1999-02-01
*	documented LEGO specific bug	Thomas Kleymann	1998-12-16
*	made many minor changes to the documentation	Thomas Kleymann	1998-12-15
*	fixed bug in lego-shell-adjust-line-width (It now monitors the	Thomas Kleymann	1998-12-14
*	Tidied output by putting newlines before imports done message.	David Aspinall	1998-12-11
*	Added support for proof-shell-restart-cmd	Thomas Kleymann	1998-12-08
*	Replaced proof-pbp-buffer with proof-goals-buffer.	David Aspinall	1998-11-25
*	Note about suspected bug in lego-shell-adjust-line-width.	David Aspinall	1998-11-25
*	Added setting for proof-goal-command-regexp	David Aspinall	1998-11-12
*	Removed references of proof-shell-noise-regexp	Thomas Kleymann	1998-11-10
*	Removed traces of support for Ruy's legogrep. This is superseded by legotags.	Thomas Kleymann	1998-11-10
*	new maintainer for LEGO Proof General	Thomas Kleymann	1998-11-06
*	completed chapter on LEGO Proof General	Thomas Kleymann	1998-11-05
*	fixed bug with font-lock face names	Thomas Kleymann	1998-11-03
*	fixed minor bugs	Thomas Kleymann	1998-11-02
*	o added support for byte-compilation	Thomas Kleymann	1998-11-01
*	implemented new buffer model. The goals buffer is now exclusively	Thomas Kleymann	1998-10-30
*	More hacks to variable names for customize (sorry)	David Aspinall	1998-10-29
*	Moved pbp-goal-command and pbp-hyp-command to proof-config.Moved LEGO specifix.	David Aspinall	1998-10-27
*	Begun work on clean byte compilation / clarifying interfaces.	David Aspinall	1998-10-27
*	* empty log message *	Thomas Kleymann	1998-10-26
*	Added proof-mode-for-script setting.	David Aspinall	1998-10-23
*	Replaced remaining face defs with defface calls.	David Aspinall	1998-10-23
*	Changed from forcing w3 to using customizable browse-url	David Aspinall	1998-10-21
*	Changed fset to setq, removed retract-command mention (for now?).	David Aspinall	1998-10-21
*	Reimplemented multiple file proof developments	Thomas Kleymann	1998-10-18
*	Removed setq proof-assistant	David Aspinall	1998-10-12
*	Removed lego-settings defgroup, changed to lego.	David Aspinall	1998-10-07
*	changed maintainer information to lego@dcs and isabelle@dcs .	Thomas Kleymann	1998-10-02