diff options
| author | David Aspinall | 2003-03-17 00:04:58 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-03-17 00:04:58 +0000 |
| commit | 86146ddd6edbcfb88bc54968114ec7c670fc688a (patch) | |
| tree | 5185d252471fd458a495caca0c044791d5cf1fbc /generic/proof-script.el | |
| parent | fbdecea6fee6c74162e5f8f25f523284720404f7 (diff) | |
More tweaks so that (proof-ass x-symbol-enable) is pervasive.
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 44568bff..93a0b400 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -13,8 +13,8 @@ (require 'span) ; abstraction of overlays/extents (require 'pg-user) ; user-level commands (require 'proof-menu) ; menus for script mode -(require 'proof-x-symbol) ; x-symbol (maybe put on automode list) -(require 'proof-mmm) ; mmm (ditto) +(require 'proof-x-symbol) ; x-symbol (maybe initialize) +(require 'proof-mmm) ; mmm (maybe put on automode list) ;; Nuke some byte-compiler warnings @@ -2714,6 +2714,11 @@ finish setup which depends on specific proof assistant configuration." ((and img proof-running-on-XEmacs) (set-glyph-image invisible-text-glyph img (current-buffer))))) + ;; FIXME: next expr shouldn't be needed, if loads happen in + ;; correct order. + (if (proof-ass x-symbol-enable) + (proof-x-symbol-enable)) + ;; Finally, make sure the user has been welcomed! ;; [NB: this doesn't work well, can get zapped by loading messages] (proof-splash-message)) |