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-easy-config.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'generic/proof-easy-config.el')

diff --git a/generic/proof-easy-config.el b/generic/proof-easy-config.el
index d948f3b4..878d4669 100644
--- a/generic/proof-easy-config.el
+++ b/generic/proof-easy-config.el
@@ -1,8 +1,8 @@
 ;; proof-easy-config.el    Easy configuration for Proof General
 ;;
 ;; Copyright (C) 1999-2002  David Aspinall / LFCS.
-;; Author:     David Aspinall <da@dcs.ed.ac.uk>
-;; Maintainer: Proof General maintainer <proofgen@dcs.ed.ac.uk>
+;; Author:    David Aspinall <da@dcs.ed.ac.uk>
+;; License:   GPL (GNU GENERAL PUBLIC LICENSE)
 ;;
 ;; $Id$
 ;;
-- 
cgit v1.2.3