| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2010-08-27 | Remove double footer | David Aspinall | |
| 2010-08-08 | Checkdoc cleanups | 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-05 | Clean whitespace | David Aspinall | |
| 2008-07-24 | Fix for deferred loading of maths menu. | David Aspinall | |
| 2008-07-24 | Merge changes from Version4Branch. | David Aspinall | |
| 2008-02-06 | Use proof-auxmodes to load auxiliary modes properly when required. | David Aspinall | |
| 2008-01-17 | Fix typo. | David Aspinall | |
| 2008-01-17 | XEmacs comp error: obscure undefined define-key-after comes from ↵ | David Aspinall | |
| proof-maths-menu. | |||
| 2008-01-17 | Revert to more reliable true eval-when (compile) | David Aspinall | |
| 2008-01-17 | Prevent loading early in interpreted code: simulate proper eval-when (compile) | David Aspinall | |
| 2008-01-16 | Reduce compiler warnings. Minor fixes. | 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). | |||
| 2007-12-14 | Prevent attempt to use on XEmacs | David Aspinall | |
| 2007-12-13 | Complete maths menu addition | David Aspinall | |
| 2007-12-12 | New files. | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |