diff options
Diffstat (limited to 'generic/proof-indent.el')
| -rw-r--r-- | generic/proof-indent.el | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/generic/proof-indent.el b/generic/proof-indent.el index c0109c03..df5014cf 100644 --- a/generic/proof-indent.el +++ b/generic/proof-indent.el @@ -6,10 +6,6 @@ ;; $Id$ ;; -(require 'proof) ; loader -(require 'proof-script) ; indent code is for script editing - - (defun proof-indent-indent () "Determine indentation caused by syntax element at current point." (cond |