aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-autoloads.el
AgeCommit message (Expand)Author
2012-04-19enable compilation of generic/proof-autoloads.elHendrik Tews
2011-10-17Attempt to support stricter bytecomp flagsDavid Aspinall
2011-10-17Remove dependency of pg-movie on pg-userDavid Aspinall
2011-06-09Add autoload.David Aspinall
2011-05-16Update autogenerated filesDavid Aspinall
2011-05-12Update autoloadsDavid Aspinall
2011-01-11Add additional support for pgipfloat typeDavid Aspinall
2010-10-10UpdatedDavid Aspinall
2010-08-27Replace proof-terminal-char with proof-terminal-string.David Aspinall
2010-08-23UpdatedDavid Aspinall
2010-08-20UpdateDavid Aspinall
2010-08-18UpdatedDavid Aspinall
2010-08-11Support custom syntactic fontification. Split out pa macros.David Aspinall
2010-08-03Add support for basic "movie" recording. See http://mws.cs.ru.nl/proviola.David Aspinall
2009-12-04UpdatedDavid Aspinall
2009-12-01UpdateDavid Aspinall
2009-11-30Replace proof-locked-end -> proof-unprocessed-beginDavid Aspinall
2009-09-21UpdatedDavid Aspinall
2009-09-20proof-unicode-tokens-enable: autoload so turning on Unicode tokens worksDavid Aspinall
2009-09-20UpdatedDavid Aspinall
2009-09-17UpdatedDavid Aspinall
2009-09-10Experimental changes to queue several commands at once and to allow pre-proce...David Aspinall
2009-09-10Clean compileDavid Aspinall
2009-09-07Update autoloadsDavid Aspinall
2009-09-06UpdatedDavid Aspinall
2009-09-05UpdateDavid Aspinall
2009-09-05Clean whitespaceDavid Aspinall
2009-08-28Update autoloadsDavid Aspinall
2009-07-30Update autoloadsDavid Aspinall
2008-07-24Add back lost provideDavid Aspinall
2008-07-24Merge changes from Version4Branch.David Aspinall
2008-07-16Remove mention of unicode-tokens2David Aspinall
2008-07-12Updated.David Aspinall
2008-02-06Updated.David Aspinall
2008-01-28Add autoload for proof-unicode-tokens-shell-configDavid Aspinall
2008-01-25Updated.David Aspinall
2008-01-16Reduce compiler warnings. Minor fixes.David Aspinall
2008-01-16Compilation tweaksDavid Aspinall
2008-01-16Updated.David Aspinall
2008-01-15Many rearrangements for compatibility, efficient/correct compilation, namespa...David Aspinall
2008-01-05Updated.David Aspinall
2007-12-13Updated.David Aspinall
2007-12-12Additions for maths menuDavid Aspinall
2006-09-24Add buffer history browsingDavid Aspinall
2005-05-17Updated.David Aspinall
2004-11-30Updated.David Aspinall
2003-02-19Cleanups/renaming: remove some dead code, also, hide results of X-Sym enabling.David Aspinall
2003-02-19Leave packages' own hooks (X-Symbol, MMM) to deal with turning on orDavid Aspinall
2003-02-18Add support for MMM modeDavid Aspinall
2002-11-20Autoload proof-definvisibleDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 00:50:03 +0000