proof-general - Emacs plugins for proof management systems

Age	Commit message (Collapse)	Author
1998-11-18	Added clear_response_buffer regexp, use_thy_and_update now in ProofGeneral	David Aspinall

1998-11-12	Fixed a regexp.	David Aspinall

1998-11-03	More regexp improvements	David Aspinall

1998-11-03	Work on improving regular expressions for Isabelle.	David Aspinall

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-29	Fixes for multiple files. More defcustoms.	David Aspinall

1998-10-27	Begun work on clean byte compilation / clarifying interfaces.	David Aspinall

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-12	Important regular expression fixes:	David Aspinall
	-error-regexp doesn't match warnings now. -annotated-prompt-regexp doesn't match warnings now, and is different from -prompt-regexp.
1998-10-12	Removed proof-shell-error-regexp's match on warnings -- wrong!	David Aspinall

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-23	Error regular expression also matches warnings from Isabelle	David Aspinall

1998-09-11	Fixes to syntax and startup function.	David Aspinall

1998-09-09	Added Id to headers.	David Aspinall

1998-09-08	More features working. Added example.	David Aspinall

1998-09-03	Renamed/added defcustom support.	David Aspinall