Removed tags stuff

1 files changed, 0 insertions, 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