proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	enable compilation of generic/proof-autoloads.el	Hendrik Tews	2012-04-19
\|
*	Attempt to support stricter bytecomp flags	David Aspinall	2011-10-17
\|
*	Remove dependency of pg-movie on pg-user	David Aspinall	2011-10-17
\|
*	Add autoload.	David Aspinall	2011-06-09
\|
*	Update autogenerated files	David Aspinall	2011-05-16
\|
*	Update autoloads	David Aspinall	2011-05-12
\|
*	Add additional support for pgipfloat type	David Aspinall	2011-01-11
\|
*	Updated	David Aspinall	2010-10-10
\|
*	Replace proof-terminal-char with proof-terminal-string.	David Aspinall	2010-08-27
\|
*	Updated	David Aspinall	2010-08-23
\|
*	Update	David Aspinall	2010-08-20
\|
*	Updated	David Aspinall	2010-08-18
\|
*	Support custom syntactic fontification. Split out pa macros.	David Aspinall	2010-08-11
\|
*	Add support for basic "movie" recording. See http://mws.cs.ru.nl/proviola.	David Aspinall	2010-08-03
\|
*	Updated	David Aspinall	2009-12-04
\|
*	Update	David Aspinall	2009-12-01
\|
*	Replace proof-locked-end -> proof-unprocessed-begin	David Aspinall	2009-11-30
\|
*	Updated	David Aspinall	2009-09-21
\|
*	proof-unicode-tokens-enable: autoload so turning on Unicode tokens works	David Aspinall	2009-09-20
\|
*	Updated	David Aspinall	2009-09-20
\|
*	Updated	David Aspinall	2009-09-17
\|
*	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
\|
*	Update autoloads	David Aspinall	2009-09-07
\|
*	Updated	David Aspinall	2009-09-06
\|
*	Update	David Aspinall	2009-09-05
\|
*	Clean whitespace	David Aspinall	2009-09-05
\|
*	Update autoloads	David Aspinall	2009-08-28
\|
*	Update autoloads	David Aspinall	2009-07-30
\|
*	Add back lost provide	David Aspinall	2008-07-24
\|
*	Merge changes from Version4Branch.	David Aspinall	2008-07-24
\|
*	Remove mention of unicode-tokens2	David Aspinall	2008-07-16
\|
*	Updated.	David Aspinall	2008-07-12
\|
*	Updated.	David Aspinall	2008-02-06
\|
*	Add autoload for proof-unicode-tokens-shell-config	David Aspinall	2008-01-28
\|
*	Updated.	David Aspinall	2008-01-25
\|
*	Reduce compiler warnings. Minor fixes.	David Aspinall	2008-01-16
\|
*	Compilation tweaks	David Aspinall	2008-01-16
\|
*	Updated.	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).
*	Updated.	David Aspinall	2008-01-05
\|
*	Updated.	David Aspinall	2007-12-13
\|
*	Additions for maths menu	David Aspinall	2007-12-12
\|
*	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
\|