diff options
| author | David Aspinall | 2000-03-09 08:24:19 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-03-09 08:24:19 +0000 |
| commit | 998b38a1e65daf9ba3973c985599cfebe3a496ab (patch) | |
| tree | 535ecdbcaae3a1ff6156516ae86963aefc6fe5f9 /isa | |
| parent | dd2bff4067d5ad78cbac7b455362a755e8a84add (diff) | |
Updated headers.
Diffstat (limited to 'isa')
| -rw-r--r-- | isa/x-symbol-isa.el | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/isa/x-symbol-isa.el b/isa/x-symbol-isa.el index 7cc8ef1e..c434694c 100644 --- a/isa/x-symbol-isa.el +++ b/isa/x-symbol-isa.el @@ -1,7 +1,10 @@ ;; ID: $Id$ ;; Author: David von Oheimb ;; Copyright 1998 Technische Universitaet Muenchen -;;; token language "Isabelle Symbols" for package x-symbol +;; token language "Isabelle Symbols" for package x-symbol +;; +;; NB: Part of Proof General distribution. +;; (defvar x-symbol-isa-required-fonts nil) |