diff options
| author | David Aspinall | 2008-01-15 13:05:08 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-15 13:05:08 +0000 |
| commit | 5c326ac3969d8045c78f46aac4f058f16edbc570 (patch) | |
| tree | 8e413ef9499078f8fe10e03163986e9f7f729f11 /generic/proof-indent.el | |
| parent | 9e875cc8caad464331a0628a037e3d3e30aa4449 (diff) | |
Many rearrangements for compatibility, efficient/correct compilation, namespaces fixes.
pre-shell-start-hook: remove this, use default names for modes
proof-compat: simplify architecture flags, use standard (featurep 'xemacs).
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 |