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
\|
*	Remove mmm and ML4PG contribs and remove references to them in code and docs	Paul Steckler	2017-05-24
\|
*	Change (eval-when (compile) ...) to (eval-when-compile ...)	Clément Pit--Claudel	2017-05-05
\| \| \| \|	This fixes a bunch of compilation warnings
*	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
\|