From 78ac2e9ae8c6638697b1aeee7f28b6ba800b28c9 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Fri, 21 Jun 2002 21:39:30 +0000
Subject: GPL update

---
 acl2/acl2.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'acl2')

diff --git a/acl2/acl2.el b/acl2/acl2.el
index d78084cd..5ae8a1dd 100644
--- a/acl2/acl2.el
+++ b/acl2/acl2.el
@@ -1,8 +1,8 @@
 ;; acl2.el   Basic Proof General instance for ACL2
 ;;
 ;; Copyright (C) 2000 LFCS Edinburgh. 
-;;
-;; Author: David Aspinall <da@dcs.ed.ac.uk>
+;; License:   GPL (GNU GENERAL PUBLIC LICENSE)
+;; Author:    David Aspinall <da@dcs.ed.ac.uk>
 ;;
 ;; $Id$
 ;;
-- 
cgit v1.2.3