diff options
Diffstat (limited to 'generic/proof-indent.el')
-rw-r--r-- | generic/proof-indent.el | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/generic/proof-indent.el b/generic/proof-indent.el index 6849cdd6..00ab6fc6 100644 --- a/generic/proof-indent.el +++ b/generic/proof-indent.el @@ -5,16 +5,16 @@ ;; ;; $Id$ ;; -;; FIXME: byte compile complains about not knowing -;; proof-goto-end-of-locked, proof-locked-end -(require 'proof) +(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, +;(require 'proof-syntax) ; for proof-indent-commands-regexp. +;(require 'proof-script) ; for proof-goto-end-of-locked, ; proof-locked-end @@ -80,7 +80,8 @@ (forward-char forward-amount)) (list instring cmt-level stack)))) - + +;;;###autoload (defun proof-indent-line () "Indent current line of proof script" (interactive) |