Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Attempt to support stricter bytecomp flags | 2011-10-17 | |
* | Remove dependency of pg-movie on pg-user | 2011-10-17 | |
* | Add autoload. | 2011-06-09 | |
* | Update autogenerated files | 2011-05-16 | |
* | Update autoloads | 2011-05-12 | |
* | Add additional support for pgipfloat type | 2011-01-11 | |
* | Updated | 2010-10-10 | |
* | Replace proof-terminal-char with proof-terminal-string. | 2010-08-27 | |
* | Updated | 2010-08-23 | |
* | Update | 2010-08-20 | |
* | Updated | 2010-08-18 | |
* | Support custom syntactic fontification. Split out pa macros. | 2010-08-11 | |
* | Add support for basic "movie" recording. See http://mws.cs.ru.nl/proviola. | 2010-08-03 | |
* | Updated | 2009-12-04 | |
* | Update | 2009-12-01 | |
* | Replace proof-locked-end -> proof-unprocessed-begin | 2009-11-30 | |
* | Updated | 2009-09-21 | |
* | proof-unicode-tokens-enable: autoload so turning on Unicode tokens works | 2009-09-20 | |
* | Updated | 2009-09-20 | |
* | Updated | 2009-09-17 | |
* | Experimental changes to queue several commands at once and to allow pre-proce... | 2009-09-10 | |
* | Clean compile | 2009-09-10 | |
* | Update autoloads | 2009-09-07 | |
* | Updated | 2009-09-06 | |
* | Update | 2009-09-05 | |
* | Clean whitespace | 2009-09-05 | |
* | Update autoloads | 2009-08-28 | |
* | Update autoloads | 2009-07-30 | |
* | Add back lost provide | 2008-07-24 | |
* | Merge changes from Version4Branch. | 2008-07-24 | |
* | Remove mention of unicode-tokens2 | 2008-07-16 | |
* | Updated. | 2008-07-12 | |
* | Updated. | 2008-02-06 | |
* | Add autoload for proof-unicode-tokens-shell-config | 2008-01-28 | |
* | Updated. | 2008-01-25 | |
* | Reduce compiler warnings. Minor fixes. | 2008-01-16 | |
* | Compilation tweaks | 2008-01-16 | |
* | Updated. | 2008-01-16 | |
* | Many rearrangements for compatibility, efficient/correct compilation, namespa... | 2008-01-15 | |
* | Updated. | 2008-01-05 | |
* | Updated. | 2007-12-13 | |
* | Additions for maths menu | 2007-12-12 | |
* | Add buffer history browsing | 2006-09-24 | |
* | Updated. | 2005-05-17 | |
* | Updated. | 2004-11-30 | |
* | Cleanups/renaming: remove some dead code, also, hide results of X-Sym enabling. | 2003-02-19 | |
* | Leave packages' own hooks (X-Symbol, MMM) to deal with turning on or | 2003-02-19 | |
* | Add support for MMM mode | 2003-02-18 | |
* | Autoload proof-definvisible | 2002-11-20 | |
* | Updated. | 2002-11-20 |