From 2ea99615a3882ef126a72068adbff603d47efe87 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 19 Nov 1999 16:31:15 +0000
Subject: Added by defvars x-symbol-isa-name, x-symbol-isa-modeline-name so can
 use this file without PG

---
 isa/x-symbol-isa.el | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/isa/x-symbol-isa.el b/isa/x-symbol-isa.el
index 5c38ced8..14601493 100644
--- a/isa/x-symbol-isa.el
+++ b/isa/x-symbol-isa.el
@@ -3,9 +3,15 @@
 ;;  Copyright   1998 Technische Universitaet Muenchen
 ;;; token language "Isabelle Symbols" for package x-symbol
 
-(provide 'x-symbol-isa)
 (defvar x-symbol-isa-required-fonts nil)
 
+;; FIXME da: these next two are also set in proof-x-symbol.el, but
+;; it's handy to use this file away from PG.  In future could
+;; fix things so just (require 'proof-x-symbol) would be enough
+;; here.
+(defvar x-symbol-isa-name "Isabelle Symbol")
+(defvar x-symbol-isa-modeline-name "isa")
+
 (defvar x-symbol-isa-header-groups-alist nil)
 ;'(("Operator" bigop operator)
 ;    ("Relation" relation)
@@ -223,3 +229,5 @@
 ;(global-set-key [(meta m)] 'x-symbol-INSERT-arrowdblright)
 
 ;(global-set-key [(meta i)] 'x-symbol-INSERT-longarrowright)
+
+(provide 'x-symbol-isa)
-- 
cgit v1.2.3