proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Improved implementation of zap-commas font lock behaviour, patch from Stefan ↵	David Aspinall	2002-08-31
\| \| \| \|	Monnier
*	Refactor several variable names; clean up, doc subterm markup and output ↵	David Aspinall	2002-07-16
\| \| \| \|	display.
*	GPL update	David Aspinall	2002-06-21
\|
*	Extra decoration.	David Aspinall	2000-04-07
\|
*	Added new regexp for recognizing LEGO errors.	David Aspinall	2000-03-08
\|
*	More improvements/fixes for closing unfinished proofs.	David Aspinall	1999-10-06
\| \| \| \|	Added proof-unnamed-theorem-name.
*	fixed syntax entry for "_"	Thomas Kleymann	1999-02-03
\|
*	new maintainer for LEGO Proof General	Thomas Kleymann	1998-11-06
\|
*	fixed bug with font-lock face names	Thomas Kleymann	1998-11-03
\|
*	o added support for byte-compilation	Thomas Kleymann	1998-11-01
\| \| \| \| \| \| \|	o removed hhg tags in todo o fixed font-lock for FSF Emacs 20.2 o ensured that goals buffer is updated for longer queues o fixed a bug in proof-universal-keys-only-mode
*	implemented new buffer model. The goals buffer is now exclusively	Thomas Kleymann	1998-10-30
\| \| \| \|	reserved for goals.
*	* empty log message *	Thomas Kleymann	1998-10-26
\|
*	Replaced remaining face defs with defface calls.	David Aspinall	1998-10-23
\| \| \| \| \|	Removed font-lock-<newface> with proof-<newface> so we know where things come from and won't break future font locks.
*	changed maintainer information to lego@dcs and isabelle@dcs .	Thomas Kleymann	1998-10-02
\|
*	Updated maintainer tags to remove lego email address.	David Aspinall	1998-10-01
\|
*	Reimplemented proof-shell-popup-eager-annotation	Thomas Kleymann	1998-09-15
\| \| \| \|	These are no longer displayed in the GOALS buffer.
*	Added Id to headers.	David Aspinall	1998-09-09
\|
*	Renamed for new subdirectory structure	David Aspinall	1998-09-03