proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Checkdoc cleanups	David Aspinall	2010-08-08
\|
*	Clean compile	David Aspinall	2009-09-10
\|
*	Nuke spurious warning	David Aspinall	2009-09-07
\|
*	Clean whitespace	David Aspinall	2009-09-05
\|
*	Use proof-auxmodes to load auxiliary modes properly when required.	David Aspinall	2008-02-06
\|
*	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).
*	Nuke some compile warnings	David Aspinall	2007-12-09
\|
*	Use bundled version off mmm first	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!).
*	Small bugfix.	David Aspinall	2003-02-18
\|
*	Updated.	David Aspinall	2003-02-18
\|
*	New files.	David Aspinall	2003-02-18