| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2017-05-24 | Remove mmm and ML4PG contribs and remove references to them in code and docs | Paul Steckler | |
| 2017-05-05 | Change (eval-when (compile) ...) to (eval-when-compile ...) | Clément Pit--Claudel | |
| This fixes a bunch of compilation warnings | |||
| 2010-08-08 | Checkdoc cleanups | David Aspinall | |
| 2009-09-10 | Clean compile | David Aspinall | |
| 2009-09-07 | Nuke spurious warning | David Aspinall | |
| 2009-09-05 | Clean whitespace | David Aspinall | |
| 2008-02-06 | Use proof-auxmodes to load auxiliary modes properly when required. | David Aspinall | |
| 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-09 | Nuke some compile warnings | David Aspinall | |
| 2003-02-19 | Use bundled version off mmm first | 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 | Small bugfix. | David Aspinall | |
| 2003-02-18 | Updated. | David Aspinall | |
| 2003-02-18 | New files. | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |