aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-autoloads.el
AgeCommit message (Expand)Author
2021-02-25$ make autoloadsErik Martin-Dorel
2018-12-26Make coq-mode work without generic/proof-*Stefan Monnier
2018-12-25Reduce the impact of proof-site, in case PG is not usedStefan Monnier
2018-12-22* coq-mode.el: New file to make coq-mode independent from PGStefan Monnier
2018-12-12Cleanup patch; Moving defvar to toplevelStefan Monnier
2018-09-01Reloading proof-autoloads is safe; don't forbid itClément Pit-Claudel
2018-08-23Run make autoloadsErik Martin-Dorel
2018-08-23Fix most doc issues raised by (checkdoc)Erik Martin-Dorel
2018-02-21Update copyright messages and improve the header of elisp files.Erik Martin-Dorel
2017-05-24Remove mmm and ML4PG contribs and remove references to them in code and docsPaul Steckler
2017-05-05Change (eval-when (compile) ...) to (eval-when-compile ...)Clément Pit--Claudel
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 11:34:50 +0000