proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Change default Unicode Tokens font back to DejaVU Sans, more reliable ↵	David Aspinall	2012-04-30
\| \| \| \|	without installing STIX.
*	Add unnecessary quote marks for consistent colouring	David Aspinall	2010-08-25
\|
*	Fix theory name	David Aspinall	2010-08-03
\|
*	Revert spurious commits	David Aspinall	2009-12-03
\|
*	Change of type for proof-script-span-context-menu-extensions	David Aspinall	2009-12-03
\|
*	typo	David Aspinall	2009-12-01
\|
*	Doc: pointer to TokensAcid	David Aspinall	2009-08-28
\|
*	Fix tokens	David Aspinall	2008-08-03
\|
*	Merge changes from Version4Branch.	David Aspinall	2008-07-24