diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-05-30 11:24:44 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-05-30 11:24:44 +0000 |
| commit | 3a516e90efec8ea2a3691675e83709aecdd0f5df (patch) | |
| tree | 6f133d2165dddc91a6b440189eed7ef7b9d4722a /generic/proof-indent.el | |
| parent | 223cc9e042618a228a88bda5e65a618e1a74ee04 (diff) | |
Tidied
Diffstat (limited to 'generic/proof-indent.el')
| -rw-r--r-- | generic/proof-indent.el | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/generic/proof-indent.el b/generic/proof-indent.el index f631bc9c..ec580165 100644 --- a/generic/proof-indent.el +++ b/generic/proof-indent.el @@ -9,15 +9,6 @@ (require 'proof) ; loader (require 'proof-script) ; indent code is for script editing -;;; FIXME: for compilation might be nice -;;; -;;; To nuke byte compile warnings -;;; -;(require 'proof-syntax) ; for proof-indent-commands-regexp. -;(require 'proof-script) ; for proof-goto-end-of-locked, - ; proof-locked-end - - ;; This is quite different from sml-mode, but borrows some bits of ;; code. It's quite a lot less general, but works with nested ;; comments. |