diff options
Diffstat (limited to 'isa/x-symbol-isabelle.el')
| -rw-r--r-- | isa/x-symbol-isabelle.el | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/isa/x-symbol-isabelle.el b/isa/x-symbol-isabelle.el index f9938491..02c23f70 100644 --- a/isa/x-symbol-isabelle.el +++ b/isa/x-symbol-isabelle.el @@ -1,7 +1,10 @@ +;; x-symbol-isabelle.el Token language "Isabelle Symbols" for package x-symbol +;; ;; ID: $Id$ ;; Author: David von Oheimb ;; Copyright 1998 Technische Universitaet Muenchen -;; token language "Isabelle Symbols" for package x-symbol +;; License GPL (GNU GENERAL PUBLIC LICENSE) +;; ;; ;; NB: Part of Proof General distribution. ;; |