diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-05 09:54:56 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-05 09:54:56 +0000 |
| commit | b30f353c2ea9f514d7ab6bf821a7919adf62143a (patch) | |
| tree | 9fe25f3ed35c8377d749d8e7336c9e44fd7481e6 /generic/proof-auxmodes.el | |
| parent | 559426016c112b6147fe82582c6479521b0fab6a (diff) | |
Clean whitespace
Diffstat (limited to 'generic/proof-auxmodes.el')
| -rw-r--r-- | generic/proof-auxmodes.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/generic/proof-auxmodes.el b/generic/proof-auxmodes.el index 69dc0b72..f4f2a60f 100644 --- a/generic/proof-auxmodes.el +++ b/generic/proof-auxmodes.el @@ -5,7 +5,7 @@ ;; License: GPL (GNU GENERAL PUBLIC LICENSE) ;;; Commentary: -;; +;; ;; Startup code from auxiliary modes are collected here, allowing late ;; loading of their main defining files and the possibility to disable them. ;; @@ -36,7 +36,7 @@ (proof-eval-when-ready-for-assistant (if (and (proof-ass mmm-enable) (proof-mmm-support-available)) - (proof-mmm-set-global t))) + (proof-mmm-set-global t))) ;; @@ -55,7 +55,7 @@ The test loads optional prover-specific config in <foo>-maths-menu.el" ;; ;; Unicode tokens -;; +;; (defun proof-unicode-tokens-support-available () "A test to see whether unicode tokens support is available." ;; Requires prover-specific config in <foo>-unicode-tokens.el |