1 files changed, 0 insertions, 5 deletions
diff --git a/isa/isa.el b/isa/isa.el
index fa69d878..110c543a 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -9,11 +9,6 @@
 ;;
 
 
-
-
-;; FIXME: this most be done before loading proof-config, shame.
-(setq proof-tags-support nil) ; we don't want it, no isatags prog. 
-
 ;; Add Isabelle image onto splash screen
 (customize-set-variable
  'proof-splash-extensions