diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-05-26 14:06:20 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-05-26 14:06:20 +0000 |
| commit | fa518075aa06c718d15fcf953ff30006e917bdd1 (patch) | |
| tree | a91a982e8435c8e9a09c8587ca0974053b341801 /plastic | |
| parent | d7b933b0bf2ced8d6f4e46bbfa1f90c53a7dd088 (diff) | |
Fix header
Diffstat (limited to 'plastic')
| -rw-r--r-- | plastic/plastic.el | 13 |
1 files changed, 3 insertions, 10 deletions
diff --git a/plastic/plastic.el b/plastic/plastic.el index eab0d9e3..1ed3333a 100644 --- a/plastic/plastic.el +++ b/plastic/plastic.el @@ -1,15 +1,8 @@ ;; plastic.el - Major mode for Plastic proof assistant +;; ;; Author: Paul Callaghan <P.C.Callaghan@durham.ac.uk> -;; Maintainer: <author> -;; plastic.el,v 6.2 2002/07/19 10:38:48 da Exp - -;; adapted from the following, by Paul Callaghan -;; ;; lego.el Major mode for LEGO proof assistants -;; ;; Copyright (C) 1994 - 1998 LFCS Edinburgh. -;; ;; Author: Thomas Kleymann and Dilip Sequeira -;; ;; Maintainer: Paul Callaghan <P.C.Callaghan@durham.ac.uk> -;; ;; -;; ;; lego.el,v 2.27 1998/11/25 12:56:47 da Exp +;; +;; $Id$ ;; NOTES: ;; remember to prefix all potential cmds with plastic-lit-string |