proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	proof-active-area-face: highlighting face for active area	David Aspinall	2007-08-19
\|
*	Add support for sending back literal commands reusing PBP markup mechanisms.	David Aspinall	2007-08-14
\|
*	Add buffer history browsing	David Aspinall	2006-09-24
\|
*	Comments.	David Aspinall	2006-09-22
\|
*	added first (experimental) support for proof by contextual menu (pg-pbrpm.el)	Christophe Raffalli	2004-10-20
\|
*	Fix a few compiler warnings	David Aspinall	2004-03-02
\|
*	Cleanups/renaming: remove some dead code, also, hide results of X-Sym enabling.	David Aspinall	2003-02-19
\|
*	Fix typo.	David Aspinall	2002-09-11
\|
*	Short-circuit goals display if string empty.	David Aspinall	2002-09-11
\|
*	Make font-lock-keywords buffer local for sake of Emacs 21.2.	David Aspinall	2002-08-28
\|
*	Disable undo history for efficiency.	David Aspinall	2002-08-27
\|
*	Try to prevent associated buffers being killed off by user.	David Aspinall	2002-08-26
\|
*	Refactoring.	David Aspinall	2002-08-15
\|
*	Reorganized menus; add options save function; fix capitalization of names	David Aspinall	2002-08-07
\|
*	Comments	David Aspinall	2002-08-07
\|
*	Fix active variable highlighting in Isabelle with X-Symbol.	David Aspinall	2002-07-18
\|
*	Added subterm help popup facility	David Aspinall	2002-07-17
\|
*	Refactor several variable names; clean up, doc subterm markup and output ↵	David Aspinall	2002-07-16
\| \| \| \|	display.
*	Refactoring	David Aspinall	2002-07-16