diff options
| -rw-r--r-- | coq/x-symbol-coq.el | 7 | ||||
| -rw-r--r-- | isa/x-symbol-isa.el | 5 | ||||
| -rw-r--r-- | lego/x-symbol-lego.el | 7 |
3 files changed, 18 insertions, 1 deletions
diff --git a/coq/x-symbol-coq.el b/coq/x-symbol-coq.el index a36bf0b5..541560ee 100644 --- a/coq/x-symbol-coq.el +++ b/coq/x-symbol-coq.el @@ -1,3 +1,10 @@ +;; x-symbol-coq.el +;; +;; David Aspinall, adapted from file supplied by David von Obheimb +;; +;; $Id$ +;; + (defvar x-symbol-coq-symbol-table '((longarrowright () "->" "\\<longrightarrow>") (logicaland () "/\\" "\\<and>") 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) diff --git a/lego/x-symbol-lego.el b/lego/x-symbol-lego.el index 1eb11f91..bcc25a50 100644 --- a/lego/x-symbol-lego.el +++ b/lego/x-symbol-lego.el @@ -1,3 +1,10 @@ +;; x-symbol-coq.el +;; +;; David Aspinall, adapted from file supplied by David von Obheimb +;; +;; $Id$ +;; + (defvar x-symbol-lego-symbol-table '((longarrowright () "->" "\\<longrightarrow>") (logicaland () "/\\" "\\<and>") |