From 5d1476a37dc740abfa2039c508fdbbf424b57cf5 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 1 Jun 2000 13:40:23 +0000
Subject: Remove setting of proof-segment-up-to

---
 isar/isar.el | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'isar')

diff --git a/isar/isar.el b/isar/isar.el
index 7e1acf0b..0f23aad1 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -186,9 +186,6 @@
 	(and cont (forward-char forward-amount)))
       found-header)))
 
-;; FIXME: uncomment here for testing new parsing function.  
-;; (defalias 'proof-segment-up-to 'proof-segment-up-to-new)
-
 (defun isar-mode-config-set-variables ()
   "Configure generic proof scripting mode variables for Isabelle/Isar."
   (setq
-- 
cgit v1.2.3