| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2011-10-17 | Attempt to support stricter bytecomp flags | David Aspinall | |
| 2011-10-17 | Remove dependency of pg-movie on pg-user | David Aspinall | |
| 2011-06-09 | Add autoload. | David Aspinall | |
| 2011-05-16 | Update autogenerated files | David Aspinall | |
| 2011-05-12 | Update autoloads | David Aspinall | |
| 2011-01-11 | Add additional support for pgipfloat type | David Aspinall | |
| 2010-10-10 | Updated | David Aspinall | |
| 2010-08-27 | Replace proof-terminal-char with proof-terminal-string. | David Aspinall | |
| 2010-08-23 | Updated | David Aspinall | |
| 2010-08-20 | Update | David Aspinall | |
| 2010-08-18 | Updated | David Aspinall | |
| 2010-08-11 | Support custom syntactic fontification. Split out pa macros. | David Aspinall | |
| 2010-08-03 | Add support for basic "movie" recording. See http://mws.cs.ru.nl/proviola. | David Aspinall | |
| 2009-12-04 | Updated | David Aspinall | |
| 2009-12-01 | Update | David Aspinall | |
| 2009-11-30 | Replace proof-locked-end -> proof-unprocessed-begin | David Aspinall | |
| 2009-09-21 | Updated | David Aspinall | |
| 2009-09-20 | proof-unicode-tokens-enable: autoload so turning on Unicode tokens works | David Aspinall | |
| 2009-09-20 | Updated | David Aspinall | |
| 2009-09-17 | Updated | David Aspinall | |
| 2009-09-10 | Experimental changes to queue several commands at once and to allow ↵ | David Aspinall | |
| pre-processing of commands when they're queued from script | |||
| 2009-09-10 | Clean compile | David Aspinall | |
| 2009-09-07 | Update autoloads | David Aspinall | |
| 2009-09-06 | Updated | David Aspinall | |
| 2009-09-05 | Update | David Aspinall | |
| 2009-09-05 | Clean whitespace | David Aspinall | |
| 2009-08-28 | Update autoloads | David Aspinall | |
| 2009-07-30 | Update autoloads | David Aspinall | |
| 2008-07-24 | Add back lost provide | David Aspinall | |
| 2008-07-24 | Merge changes from Version4Branch. | David Aspinall | |
| 2008-07-16 | Remove mention of unicode-tokens2 | David Aspinall | |
| 2008-07-12 | Updated. | David Aspinall | |
| 2008-02-06 | Updated. | David Aspinall | |
| 2008-01-28 | Add autoload for proof-unicode-tokens-shell-config | David Aspinall | |
| 2008-01-25 | Updated. | David Aspinall | |
| 2008-01-16 | Reduce compiler warnings. Minor fixes. | David Aspinall | |
| 2008-01-16 | Compilation tweaks | David Aspinall | |
| 2008-01-16 | Updated. | David Aspinall | |
| 2008-01-15 | Many rearrangements for compatibility, efficient/correct compilation, ↵ | David Aspinall | |
| namespaces fixes. pre-shell-start-hook: remove this, use default names for modes proof-compat: simplify architecture flags, use standard (featurep 'xemacs). | |||
| 2008-01-05 | Updated. | David Aspinall | |
| 2007-12-13 | Updated. | David Aspinall | |
| 2007-12-12 | Additions for maths menu | David Aspinall | |
| 2006-09-24 | Add buffer history browsing | David Aspinall | |
| 2005-05-17 | Updated. | David Aspinall | |
| 2004-11-30 | Updated. | David Aspinall | |
| 2003-02-19 | Cleanups/renaming: remove some dead code, also, hide results of X-Sym enabling. | David Aspinall | |
| 2003-02-19 | Leave packages' own hooks (X-Symbol, MMM) to deal with turning on or | David Aspinall | |
| off minor modes in buffers automatically. Now the PG setting controls the "default global for PG buffers" for each of these. The menu checkbox simply displays the current minor mode status. When this is changed, the PG global mode follows suit. We do not try to apply the change to all PG buffers (30 minutes of fontification!). | |||
| 2003-02-18 | Add support for MMM mode | David Aspinall | |
| 2002-11-20 | Autoload proof-definvisible | David Aspinall | |
| 2002-11-20 | Updated. | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |