diff options
| author | David Aspinall | 1999-11-19 16:31:15 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-19 16:31:15 +0000 |
| commit | 2ea99615a3882ef126a72068adbff603d47efe87 (patch) | |
| tree | 5546e0584fef21891a52dd0a9a4f502c8b5b3575 | |
| parent | b6e85bd92170d3fb35ecfe0157345a06e59e25f5 (diff) | |
Added by defvars x-symbol-isa-name, x-symbol-isa-modeline-name so can use this file without PG
| -rw-r--r-- | isa/x-symbol-isa.el | 10 |
1 files changed, 9 insertions, 1 deletions
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) |