Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Run make autoloads | Erik Martin-Dorel | 2018-08-23 |
* | Fix most doc issues raised by (checkdoc) | Erik Martin-Dorel | 2018-08-23 |
* | Update copyright messages and improve the header of elisp files. | Erik Martin-Dorel | 2018-02-21 |
* | Remove mmm and ML4PG contribs and remove references to them in code and docs | Paul Steckler | 2017-05-24 |
* | Change (eval-when (compile) ...) to (eval-when-compile ...) | Clément Pit--Claudel | 2017-05-05 |
* | enable compilation of generic/proof-autoloads.el | Hendrik Tews | 2012-04-19 |
* | Attempt to support stricter bytecomp flags | David Aspinall | 2011-10-17 |
* | Remove dependency of pg-movie on pg-user | David Aspinall | 2011-10-17 |
* | Add autoload. | David Aspinall | 2011-06-09 |
* | Update autogenerated files | David Aspinall | 2011-05-16 |
* | Update autoloads | David Aspinall | 2011-05-12 |
* | Add additional support for pgipfloat type | David Aspinall | 2011-01-11 |
* | Updated | David Aspinall | 2010-10-10 |
* | Replace proof-terminal-char with proof-terminal-string. | David Aspinall | 2010-08-27 |
* | Updated | David Aspinall | 2010-08-23 |
* | Update | David Aspinall | 2010-08-20 |
* | Updated | David Aspinall | 2010-08-18 |
* | Support custom syntactic fontification. Split out pa macros. | David Aspinall | 2010-08-11 |
* | Add support for basic "movie" recording. See http://mws.cs.ru.nl/proviola. | David Aspinall | 2010-08-03 |
* | Updated | David Aspinall | 2009-12-04 |
* | Update | David Aspinall | 2009-12-01 |
* | Replace proof-locked-end -> proof-unprocessed-begin | David Aspinall | 2009-11-30 |
* | Updated | David Aspinall | 2009-09-21 |
* | proof-unicode-tokens-enable: autoload so turning on Unicode tokens works | David Aspinall | 2009-09-20 |
* | Updated | David Aspinall | 2009-09-20 |
* | Updated | David Aspinall | 2009-09-17 |
* | Experimental changes to queue several commands at once and to allow pre-proce... | David Aspinall | 2009-09-10 |
* | Clean compile | David Aspinall | 2009-09-10 |
* | Update autoloads | David Aspinall | 2009-09-07 |
* | Updated | David Aspinall | 2009-09-06 |
* | Update | David Aspinall | 2009-09-05 |
* | Clean whitespace | David Aspinall | 2009-09-05 |
* | Update autoloads | David Aspinall | 2009-08-28 |
* | Update autoloads | David Aspinall | 2009-07-30 |
* | Add back lost provide | David Aspinall | 2008-07-24 |
* | Merge changes from Version4Branch. | David Aspinall | 2008-07-24 |
* | Remove mention of unicode-tokens2 | David Aspinall | 2008-07-16 |
* | Updated. | David Aspinall | 2008-07-12 |
* | Updated. | David Aspinall | 2008-02-06 |
* | Add autoload for proof-unicode-tokens-shell-config | David Aspinall | 2008-01-28 |
* | Updated. | David Aspinall | 2008-01-25 |
* | Reduce compiler warnings. Minor fixes. | David Aspinall | 2008-01-16 |
* | Compilation tweaks | David Aspinall | 2008-01-16 |
* | Updated. | David Aspinall | 2008-01-16 |
* | Many rearrangements for compatibility, efficient/correct compilation, namespa... | David Aspinall | 2008-01-15 |
* | Updated. | David Aspinall | 2008-01-05 |
* | Updated. | David Aspinall | 2007-12-13 |
* | Additions for maths menu | David Aspinall | 2007-12-12 |
* | Add buffer history browsing | David Aspinall | 2006-09-24 |
* | Updated. | David Aspinall | 2005-05-17 |