aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-autoloads.el
Commit message (Expand)AuthorAge
* 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
* Updated.Gravatar David Aspinall2008-01-05
* Updated.Gravatar David Aspinall2007-12-13
* Additions for maths menuGravatar David Aspinall2007-12-12
* Add buffer history browsingGravatar David Aspinall2006-09-24
* Updated.Gravatar David Aspinall2005-05-17
* Updated.Gravatar David Aspinall2004-11-30
* Cleanups/renaming: remove some dead code, also, hide results of X-Sym enabling.Gravatar David Aspinall2003-02-19
* Leave packages' own hooks (X-Symbol, MMM) to deal with turning on orGravatar David Aspinall2003-02-19
* Add support for MMM modeGravatar David Aspinall2003-02-18
* Autoload proof-definvisibleGravatar David Aspinall2002-11-20
* Updated.Gravatar David Aspinall2002-11-20
* UpdatedGravatar David Aspinall2002-08-15
* Fix autoload for context menu; add proof-shell-show-dependency-cmd.Gravatar David Aspinall2002-08-08
* UpdatedGravatar David Aspinall2002-08-08
* UpdatedGravatar David Aspinall2001-08-31
* Regenerate to remove Christophes patchGravatar David Aspinall2001-08-01
* *** empty log message ***Gravatar Christophe Raffalli2001-07-25
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-21 00:42:34 +0000