proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Functions to add buttons to buffer (initial attempt)	David Aspinall	2009-09-21
\|
*	Fix compiler warnings	David Aspinall	2009-09-07
\|
*	Use extended form of define-minor-mode	David Aspinall	2009-09-07
\|
*	Fix compile warnings, remove some XEmacs-isms	David Aspinall	2009-09-06
\|
*	Tidy whitespace	David Aspinall	2009-09-05
\|
*	Update autoloads	David Aspinall	2009-08-28
\|
*	Merge changes from Version4Branch.	David Aspinall	2008-07-24
\|
*	Many compatibility updates, bug fixes, rearrangements for compilation.	David Aspinall	2008-01-15
\|
*	Comments.	David Aspinall	2007-12-14
\|
*	Improvements (widget sketch; modeline). Logic still faulty.	David Aspinall	2007-12-13
\|
*	Support older version of define-minor-mode	David Aspinall	2006-12-19
\|
*	Tweaks to buffer history mode. Still intermediate version.	David Aspinall	2006-09-24
\|
*	Add buffer history browsing	David Aspinall	2006-09-24