proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	New files.	David Aspinall	2003-02-22
\|
*	Renamed file	David Aspinall	2000-06-16
\|
*	tuned \<bottom>;	Makarius Wenzel	2000-04-06
\| \| \| \|	added \<lbrace>, \<rbrace>, \<top>;
*	Updated headers.	David Aspinall	2000-03-09
\|
*	tuned electric-ignore;	Makarius Wenzel	2000-02-23
\|
*	fix electric-ignore (due to DvO);	Makarius Wenzel	2000-02-15
\|
*	Added by defvars x-symbol-isa-name, x-symbol-isa-modeline-name so can use ↵	David Aspinall	1999-11-19
\| \| \| \|	this file without PG
*	Extensive fixes for x-symbol and font-lock.	David Aspinall	1999-11-11
\|
*	Removed unsociable key-bindings.	David Aspinall	1999-11-10
\|
*	update by DvO;	Makarius Wenzel	1999-10-22
\|
*	update by DvO;	Makarius Wenzel	1999-08-20
\|
*	File sent by David von Oheimb.	David Aspinall	1998-12-18