From 5b97db5ff9c8666dbd3efb4f488052c4b72669f3 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 18 Jul 2002 20:01:16 +0000 Subject: Remove obsolete function --- generic/proof-indent.el | 8 -------- 1 file changed, 8 deletions(-) (limited to 'generic/proof-indent.el') 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) -- cgit v1.2.3