proof-general - Emacs plugins for proof management systems

Age	Commit message (Collapse)	Author
2018-02-21	Update copyright messages and improve the header of elisp files.	Erik Martin-Dorel

2009-09-05	Clean whitespace	David Aspinall

2002-08-31	Improved implementation of zap-commas font lock behaviour, patch from Stefan ↵	David Aspinall
	Monnier
2002-07-16	Refactor several variable names; clean up, doc subterm markup and output ↵	David Aspinall
	display.
2002-06-21	GPL update	David Aspinall

2000-04-07	Extra decoration.	David Aspinall

2000-03-08	Added new regexp for recognizing LEGO errors.	David Aspinall

1999-10-06	More improvements/fixes for closing unfinished proofs.	David Aspinall
	Added proof-unnamed-theorem-name.
1999-02-03	fixed syntax entry for "_"	Thomas Kleymann

1998-11-06	new maintainer for LEGO Proof General	Thomas Kleymann

1998-11-03	fixed bug with font-lock face names	Thomas Kleymann

1998-11-01	o added support for byte-compilation	Thomas Kleymann
	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
1998-10-30	implemented new buffer model. The goals buffer is now exclusively	Thomas Kleymann
	reserved for goals.
1998-10-26	* empty log message *	Thomas Kleymann

1998-10-23	Replaced remaining face defs with defface calls.	David Aspinall
	Removed font-lock-<newface> with proof-<newface> so we know where things come from and won't break future font locks.
1998-10-02	changed maintainer information to lego@dcs and isabelle@dcs .	Thomas Kleymann

1998-10-01	Updated maintainer tags to remove lego email address.	David Aspinall

1998-09-15	Reimplemented proof-shell-popup-eager-annotation	Thomas Kleymann
	These are no longer displayed in the GOALS buffer.
1998-09-09	Added Id to headers.	David Aspinall

1998-09-03	Renamed for new subdirectory structure	David Aspinall