From 998b38a1e65daf9ba3973c985599cfebe3a496ab Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 9 Mar 2000 08:24:19 +0000
Subject: Updated headers.

---
 coq/x-symbol-coq.el   | 7 +++++++
 isa/x-symbol-isa.el   | 5 ++++-
 lego/x-symbol-lego.el | 7 +++++++
 3 files changed, 18 insertions(+), 1 deletion(-)

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>")
-- 
cgit v1.2.3