From fa518075aa06c718d15fcf953ff30006e917bdd1 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 26 May 2009 14:06:20 +0000
Subject: Fix header

---
 plastic/plastic.el | 13 +++----------
 1 file 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
-- 
cgit v1.2.3