From def9b9bc44bedc841599eea74a98910ffde4b8f7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 23 Sep 1998 11:15:38 +0000
Subject: Removed tags stuff

---
 isa/isa.el | 10 ----------
 1 file changed, 10 deletions(-)

diff --git a/isa/isa.el b/isa/isa.el
index 9544bcf1..bfc79591 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -24,16 +24,6 @@
   :type 'file
   :group 'isabelle-settings)
 
-(defcustom isa-thy-file-tags-table "/usr/lib/Isabelle98/src/TAGS.thy"
-  "*Name of theory file tags table for Isabelle."
-  :type 'file
-  :group 'isabelle-settings)
-
-(defcustom isa-ML-file-tags-table  "/usr/lib/Isabelle98/src/TAGS.ML"
-  "*Name of ML file tags table for Isabelle."
-  :type 'file
-  :group 'isabelle-settings)
-
 (defcustom isa-indent 2
   "*Indentation degree in proof scripts.
 Utterly irrelevant for Isabelle because normal proof scripts have
-- 
cgit v1.2.3