proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Update email and web addresses	David Aspinall	2004-02-08
\|
*	Fix GNU Emacs/X-Symbol compatibility for sml-sym-face added by Lucas Dixon.	David Aspinall	2002-06-30
\|
*	GPL update	David Aspinall	2002-06-21
\|
*	Updated list of SML keywords	David Aspinall	2002-04-24
\|
*	Add syntax highlighting cahanges from Lucas Dixon	David Aspinall	2002-04-23
\|
*	proper indentation setup;	Makarius Wenzel	2000-06-16
\|
*	fixed output syntax table;	Makarius Wenzel	2000-06-05
\|
*	replaced isa-verbatim by isabelle-verbatim;	Makarius Wenzel	2000-06-04
\|
*	Docstring	David Aspinall	2000-05-29
\|
*	Additions to font lock on output	David Aspinall	2000-05-29
\|
*	tuned faces;	Makarius Wenzel	1999-11-22
\|
*	Cleanups and a bit more highlighting	David Aspinall	1999-11-16
\|
*	Next round of fixups for font-lock and x-symbol.	David Aspinall	1999-11-11
\|
*	Extensive fixes for x-symbol and font-lock.	David Aspinall	1999-11-11
\|
*	isa-keywords-save: removed "result";	Makarius Wenzel	1999-10-26
\| \| \| \| \| \|	isa-keywords-commands: added "ProofGeneral.repeat_undo"; added isa-keywords-proof-commands; added isa-verbatim;
*	Turned off C-c C-l; fixed syntax for old result form; proof-showproof-command.	David Aspinall	1999-10-06
\|
*	tuned isa-init-output-syntax-table;	Makarius Wenzel	1999-09-30
\| \| \| \| \| \|	removed isa-binder-regexp (obsolete); remove isa-font-lock-terms; proper isa-output-font-lock-keywords-1;
*	Fix for proof-shell-proof-completed-regexp	David Aspinall	1999-09-21
\|
*	added bind_thms;	Makarius Wenzel	1999-09-03
\| \| \| \| \| \| \|	added no_qed; more tacticals; removed isa-tactics (didn't make much sense); isa-goal-command-regexp accomodates "val ... =" part;
*	added ALLGOALS;	Makarius Wenzel	1999-08-29
\|
*	added qed_spec_mp;	Makarius Wenzel	1999-08-25
\|
*	Maintainer addresses	David Aspinall	1999-08-23
\|
*	Improved syntax by copying from isar-syntax.el.	David Aspinall	1999-08-23
\| \| \| \|	Begun on section for Isabelle output syntax.
*	Disabled binder regexp font locking	David Aspinall	1999-08-20
\|
*	isa-init-syntax-table moved here from isa.el;	Makarius Wenzel	1999-08-18
\|
*	Removed extra parenthesis.	David Aspinall	1999-07-03
\|
*	fixed some regexp via proof-anchor-regexp;	Makarius Wenzel	1999-07-02
\|
*	Added clear_response_buffer regexp, use_thy_and_update now in ProofGeneral	David Aspinall	1998-11-18
\|
*	Fixed a regexp.	David Aspinall	1998-11-12
\|
*	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-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
*	Fixes for multiple files. More defcustoms.	David Aspinall	1998-10-29
\|
*	Begun work on clean byte compilation / clarifying interfaces.	David Aspinall	1998-10-27
\|
*	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.
*	Important regular expression fixes:	David Aspinall	1998-10-12
\| \| \| \| \| \|	-error-regexp doesn't match warnings now. -annotated-prompt-regexp doesn't match warnings now, and is different from -prompt-regexp.
*	Removed proof-shell-error-regexp's match on warnings -- wrong!	David Aspinall	1998-10-12
\|
*	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
\|
*	Error regular expression also matches warnings from Isabelle	David Aspinall	1998-09-23
\|
*	Fixes to syntax and startup function.	David Aspinall	1998-09-11
\|
*	Added Id to headers.	David Aspinall	1998-09-09
\|
*	More features working. Added example.	David Aspinall	1998-09-08
\|
*	Renamed/added defcustom support.	David Aspinall	1998-09-03