aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-mmm.el
Commit message (Collapse)AuthorAge
* Use bundled version off mmm firstGravatar David Aspinall2003-02-19
|
* Leave packages' own hooks (X-Symbol, MMM) to deal with turning on orGravatar David Aspinall2003-02-19
| | | | | | | | 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!).
* Small bugfix.Gravatar David Aspinall2003-02-18
|
* Updated.Gravatar David Aspinall2003-02-18
|
* New files.Gravatar David Aspinall2003-02-18