diff options
| author | David Aspinall | 2003-02-18 00:56:07 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-02-18 00:56:07 +0000 |
| commit | 4e6eaf66ce80cc2ae31ef85376dfd1c02240ca5c (patch) | |
| tree | 1050f9dcb855a463a1b75328c68d4bab842e0689 /generic/proof-script.el | |
| parent | 83a8661ca8e03a2b6438cb85d0105c60f2af630f (diff) | |
Add support for MMM mode
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 395a1fb7..589abe15 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -2498,6 +2498,9 @@ assistant." ;; Maybe turn on x-symbol mode and MMM mode (proof-x-symbol-mode) + ;; FIXME: slight bugginess here with MMM mode/font-lock: visiting + ;; a fresh file leaves the progress bar up. Perhaps turning + ;; on MMM here is wrong, is should happen automatically? (proof-mmm-enable)) |