diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2002-07-18 20:01:16 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2002-07-18 20:01:16 +0000 |
commit | 5b97db5ff9c8666dbd3efb4f488052c4b72669f3 (patch) | |
tree | 74318b41ec47866c448d8774b52bbe9a2466ca0c /generic/proof-indent.el | |
parent | 548bc19c5e814be107a2f8e57872e0384174cb5c (diff) |
Remove obsolete function
Diffstat (limited to 'generic/proof-indent.el')
-rw-r--r-- | generic/proof-indent.el | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/generic/proof-indent.el b/generic/proof-indent.el index 4464e3a8..ffcf6510 100644 --- a/generic/proof-indent.el +++ b/generic/proof-indent.el @@ -87,13 +87,5 @@ (back-to-indentation))))) -;;;###autoload -;FIXME mmw: remove this obsolete function!? -(defun proof-indent-region (start end) - (interactive "r") - (if (< (point) (proof-locked-end)) - (error "can't indent locked region!")) - (indent-region start end)) - (provide 'proof-indent) |