diff options
| author | David Aspinall | 2008-01-16 21:43:48 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-16 21:43:48 +0000 |
| commit | e3e203869d5e25fab4809d53c3938f067b3a94db (patch) | |
| tree | afd60fddf5d0a549876fd4fe0247986c294d213f /generic/proof-indent.el | |
| parent | 72f240e63eb57755e618613cad4bb7edbe951a26 (diff) | |
Reduce compiler warnings. Minor fixes.
Diffstat (limited to 'generic/proof-indent.el')
| -rw-r--r-- | generic/proof-indent.el | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/generic/proof-indent.el b/generic/proof-indent.el index df5014cf..ab0a522c 100644 --- a/generic/proof-indent.el +++ b/generic/proof-indent.el @@ -6,6 +6,11 @@ ;; $Id$ ;; +(require 'proof-config) ; config variables +(require 'proof-utils) ; proof-ass +(require 'proof-syntax) ; p-looking-at-safe, p-re-search +(require 'proof-autoloads) ; p-locked-end + (defun proof-indent-indent () "Determine indentation caused by syntax element at current point." (cond |