diff options
-rw-r--r-- | generic/proof-indent.el | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/generic/proof-indent.el b/generic/proof-indent.el index 74638bef..8506cf38 100644 --- a/generic/proof-indent.el +++ b/generic/proof-indent.el @@ -11,6 +11,18 @@ (require 'proof) +;;; +;;; To nuke byte compile warnings +;;; +(require 'proof-syntax) ; for proof-commands-regexp. +(autoload 'proof-goto-end-of-locked "proof-script" + "Jump to the end of the locked region.") +(autoload 'proof-locked-end "proof-script" + "Return end of the locked region of the current buffer.") +;;; +;;; + + (defvar proof-stack-to-indent nil "Prover-specific code for indentation.") |