proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Add buffer history browsing	David Aspinall	2006-09-24
\|
*	Updated.	David Aspinall	2005-05-17
\|
*	Updated.	David Aspinall	2004-11-30
\|
*	Cleanups/renaming: remove some dead code, also, hide results of X-Sym enabling.	David Aspinall	2003-02-19
\|
*	Leave packages' own hooks (X-Symbol, MMM) to deal with turning on or	David Aspinall	2003-02-19
\| \| \| \| \| \| \| \|	off minor modes in buffers automatically. Now the PG setting controls the "default global for PG buffers" for each of these. The menu checkbox simply displays the current minor mode status. When this is changed, the PG global mode follows suit. We do not try to apply the change to all PG buffers (30 minutes of fontification!).
*	Add support for MMM mode	David Aspinall	2003-02-18
\|
*	Autoload proof-definvisible	David Aspinall	2002-11-20
\|
*	Updated.	David Aspinall	2002-11-20
\|
*	Updated	David Aspinall	2002-08-15
\|
*	Fix autoload for context menu; add proof-shell-show-dependency-cmd.	David Aspinall	2002-08-08
\|
*	Updated	David Aspinall	2002-08-08
\|
*	Updated	David Aspinall	2001-08-31
\|
*	Regenerate to remove Christophes patch	David Aspinall	2001-08-01
\|
*	* empty log message *	Christophe Raffalli	2001-07-25
\|
*	Refresh	David Aspinall	2001-07-09
\|
*	Updated autoloads	David Aspinall	2001-07-09
\|
*	Update autoloads.	David Aspinall	2000-07-12
\|
*	Updated to add proof-next-error.	David Aspinall	2000-06-05
\|
*	Updated	David Aspinall	2000-06-01
\|
*	Updated	David Aspinall	2000-05-29
\|
*	Fixup loading.	David Aspinall	2000-05-09
\|
*	New files	David Aspinall	2000-05-09