proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Update copyright messages and improve the header of elisp files.	Erik Martin-Dorel	2018-02-21
\|
*	Change (eval-when (compile) ...) to (eval-when-compile ...)	Clément Pit--Claudel	2017-05-05
\| \| \| \|	This fixes a bunch of compilation warnings
*	Remove double footer	David Aspinall	2010-08-27
\|
*	Checkdoc cleanups	David Aspinall	2010-08-08
\|
*	Experimental changes to queue several commands at once and to allow ↵	David Aspinall	2009-09-10
\| \| \| \|	pre-processing of commands when they're queued from script
*	Clean compile	David Aspinall	2009-09-10
\|
*	Clean whitespace	David Aspinall	2009-09-05
\|
*	Fix for deferred loading of maths menu.	David Aspinall	2008-07-24
\|
*	Merge changes from Version4Branch.	David Aspinall	2008-07-24
\|
*	Use proof-auxmodes to load auxiliary modes properly when required.	David Aspinall	2008-02-06
\|
*	Fix typo.	David Aspinall	2008-01-17
\|
*	XEmacs comp error: obscure undefined define-key-after comes from ↵	David Aspinall	2008-01-17
\| \| \| \|	proof-maths-menu.
*	Revert to more reliable true eval-when (compile)	David Aspinall	2008-01-17
\|
*	Prevent loading early in interpreted code: simulate proper eval-when (compile)	David Aspinall	2008-01-17
\|
*	Reduce compiler warnings. Minor fixes.	David Aspinall	2008-01-16
\|
*	Many rearrangements for compatibility, efficient/correct compilation, ↵	David Aspinall	2008-01-15
\| \| \| \| \| \| \|	namespaces fixes. pre-shell-start-hook: remove this, use default names for modes proof-compat: simplify architecture flags, use standard (featurep 'xemacs).
*	Prevent attempt to use on XEmacs	David Aspinall	2007-12-14
\|
*	Complete maths menu addition	David Aspinall	2007-12-13
\|
*	New files.	David Aspinall	2007-12-12