aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-autoloads.el
Commit message (Expand)AuthorAge
* Make coq-mode work without generic/proof-*Gravatar Stefan Monnier2018-12-26
* Reduce the impact of proof-site, in case PG is not usedGravatar Stefan Monnier2018-12-25
* * coq-mode.el: New file to make coq-mode independent from PGGravatar Stefan Monnier2018-12-22
* Cleanup patch; Moving defvar to toplevelGravatar Stefan Monnier2018-12-12
* Reloading proof-autoloads is safe; don't forbid itGravatar Clément Pit-Claudel2018-09-01
* Run make autoloadsGravatar Erik Martin-Dorel2018-08-23
* Fix most doc issues raised by (checkdoc)Gravatar Erik Martin-Dorel2018-08-23
* Update copyright messages and improve the header of elisp files.Gravatar Erik Martin-Dorel2018-02-21
* Remove mmm and ML4PG contribs and remove references to them in code and docsGravatar Paul Steckler2017-05-24
* Change (eval-when (compile) ...) to (eval-when-compile ...)Gravatar Clément Pit--Claudel2017-05-05
* enable compilation of generic/proof-autoloads.elGravatar Hendrik Tews2012-04-19
* Attempt to support stricter bytecomp flagsGravatar David Aspinall2011-10-17
* Remove dependency of pg-movie on pg-userGravatar David Aspinall2011-10-17
* Add autoload.Gravatar David Aspinall2011-06-09
* Update autogenerated filesGravatar David Aspinall2011-05-16
* Update autoloadsGravatar David Aspinall2011-05-12
* Add additional support for pgipfloat typeGravatar David Aspinall2011-01-11
* UpdatedGravatar David Aspinall2010-10-10
* Replace proof-terminal-char with proof-terminal-string.Gravatar David Aspinall2010-08-27
* UpdatedGravatar David Aspinall2010-08-23
* UpdateGravatar David Aspinall2010-08-20
* UpdatedGravatar David Aspinall2010-08-18
* Support custom syntactic fontification. Split out pa macros.Gravatar David Aspinall2010-08-11
* Add support for basic "movie" recording. See http://mws.cs.ru.nl/proviola.Gravatar David Aspinall2010-08-03
* UpdatedGravatar David Aspinall2009-12-04
* UpdateGravatar David Aspinall2009-12-01
* Replace proof-locked-end -> proof-unprocessed-beginGravatar David Aspinall2009-11-30
* UpdatedGravatar David Aspinall2009-09-21
* proof-unicode-tokens-enable: autoload so turning on Unicode tokens worksGravatar David Aspinall2009-09-20
* UpdatedGravatar David Aspinall2009-09-20
* UpdatedGravatar David Aspinall2009-09-17
* Experimental changes to queue several commands at once and to allow pre-proce...Gravatar David Aspinall2009-09-10
* Clean compileGravatar David Aspinall2009-09-10
* Update autoloadsGravatar David Aspinall2009-09-07
* UpdatedGravatar David Aspinall2009-09-06
* UpdateGravatar David Aspinall2009-09-05
* Clean whitespaceGravatar David Aspinall2009-09-05
* Update autoloadsGravatar David Aspinall2009-08-28
* Update autoloadsGravatar David Aspinall2009-07-30
* Add back lost provideGravatar David Aspinall2008-07-24
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
* Remove mention of unicode-tokens2Gravatar David Aspinall2008-07-16
* Updated.Gravatar David Aspinall2008-07-12
* Updated.Gravatar David Aspinall2008-02-06
* Add autoload for proof-unicode-tokens-shell-configGravatar David Aspinall2008-01-28
* Updated.Gravatar David Aspinall2008-01-25
* Reduce compiler warnings. Minor fixes.Gravatar David Aspinall2008-01-16
* Compilation tweaksGravatar David Aspinall2008-01-16
* Updated.Gravatar David Aspinall2008-01-16
* Many rearrangements for compatibility, efficient/correct compilation, namespa...Gravatar David Aspinall2008-01-15
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-06 13:31:23 +0000