From 2b4fd844764c879be213db695821847b351ef373 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 12 Nov 1998 14:44:44 +0000
Subject: 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.

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

(limited to 'isa')

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
-- 
cgit v1.2.3