From 998b38a1e65daf9ba3973c985599cfebe3a496ab Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Thu, 9 Mar 2000 08:24:19 +0000
Subject: Updated headers.

---
 lego/x-symbol-lego.el | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'lego')

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