proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Merge changes from Version4Branch.	David Aspinall	2008-07-24
\|
*	Updated.	David Aspinall	2008-01-15
\|
*	Updated.	David Aspinall	2007-12-14
\|
*	Updated.	David Aspinall	2004-04-21
\|
*	new test case for \<^isub>	Gerwin Klein	2004-04-05
\|
*	More sub/super examples.	David Aspinall	2004-04-02
\|
*	Add extra term test -- shows up current bug	David Aspinall	2004-04-02
\|
*	More comments/test printing.	David Aspinall	2004-04-02
\|
*	Add test of spanning sup/sub	David Aspinall	2004-04-02
\|
*	Add bug reported by Norbert Schirmer.	David Aspinall	2003-09-25
\| \| \| \|	[Actually, superscript highlighting seems broken anyway]
*	Add test case with symbol in subscript	David Aspinall	2003-03-10
\|
*	Remove notes about old bugs	David Aspinall	2003-03-07
\|
*	Exercise bug in pg-remove-specials breaking x-sym display in Isabelle	David Aspinall	2002-08-28
\|
*	More tests	David Aspinall	2002-07-18
\|
*	More comments on current bugs	David Aspinall	2002-07-18
\|
*	New files.	David Aspinall	2002-07-18