From 61efa43b378f14e5bf936807cdb217ee865a4ea4 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Fri, 21 Jun 2002 21:15:41 +0000
Subject: GPL

---
 generic/proof-syntax.el | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

(limited to 'generic/proof-syntax.el')

diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el
index 1cfea82a..77fd63c1 100644
--- a/generic/proof-syntax.el
+++ b/generic/proof-syntax.el
@@ -1,10 +1,9 @@
 ;; proof-syntax.el	Functions for dealing with syntax
-;; Copyright (C)	1997-2001 LFCS Edinburgh. 
 ;;
-;; Authors: David Aspinall, Healfdene Goguen, 
-;;	    Thomas Kleymann, Dilip Sequiera
-;;
-;; Maintainer:  Proof General maintainer <proofgen@dcs.ed.ac.uk>
+;; Copyright (C) 1997-2001 LFCS Edinburgh. 
+;; Authors:   David Aspinall, Healfdene Goguen, 
+;;	      Thomas Kleymann, Dilip Sequiera
+;; License:   GPL (GNU GENERAL PUBLIC LICENSE)
 ;;
 ;; $Id$
 ;;
-- 
cgit v1.2.3