In a fit of autocracy, removed proof-tags-support, binding for

M-tab and appearance of Find Tags in PG menu.  The menu entry
already appears in Tools->Tags, and users should bind M-tab for
themselves.

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