diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-03-09 08:24:19 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-03-09 08:24:19 +0000 |
| commit | 998b38a1e65daf9ba3973c985599cfebe3a496ab (patch) | |
| tree | 535ecdbcaae3a1ff6156516ae86963aefc6fe5f9 /lego | |
| parent | dd2bff4067d5ad78cbac7b455362a755e8a84add (diff) | |
Updated headers.
Diffstat (limited to 'lego')
| -rw-r--r-- | lego/x-symbol-lego.el | 7 |
1 files changed, 7 insertions, 0 deletions
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>") |