proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	save-excursion -> with-temp-buffer	David Aspinall	2010-07-08
\|
*	Replace uses of save-excursion with with-current-buffer. This	David Aspinall	2010-07-01
\| \| \| \| \|	prevents a spurious warning from Emacs 23 (and is a minor efficiency improvement).
*	Prevent compiler warnings	David Aspinall	2009-09-06
\|
*	Fix compile warnings	David Aspinall	2009-09-06
\|
*	Remove noweb file, seems buggy.	David Aspinall	2009-09-06
\|
*	Tidy whitespace	David Aspinall	2009-09-05
\|
*	require 'cl -> eval-when-compile	David Aspinall	2009-09-04
\|
*	Backquote syntax updated to defeat warnings, so not Emacs <19.29 compatible	David Aspinall	2008-01-28
\|
*	mmm-insert-by-key: add an indicator to holes.el to prevent it adding holes	David Aspinall	2007-12-13
\|
*	Emacs compatibility/API updates: string-to-int -> string-to-number	David Aspinall	2007-12-10
\|
*	Update to 0.4.8 from sourceforge.	David Aspinall	2006-09-22
\|
*	Renamed file	David Aspinall	2003-02-22
\|
*	Updated.	David Aspinall	2003-02-22
\|
*	Renamed file	David Aspinall	2003-02-19
\|
*	New files.	David Aspinall	2003-02-17
\|
*	New files.	David Aspinall	2003-02-17