From 78ac2e9ae8c6638697b1aeee7f28b6ba800b28c9 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 21 Jun 2002 21:39:30 +0000
Subject: GPL update

---
 isa/isa-syntax.el        | 4 ++--
 isa/isa.el               | 5 ++---
 isa/thy-mode.el          | 5 +++--
 isa/x-symbol-isabelle.el | 5 ++++-
 4 files changed, 11 insertions(+), 8 deletions(-)

(limited to 'isa')

diff --git a/isa/isa-syntax.el b/isa/isa-syntax.el
index 0f335647..234c6dfc 100644
--- a/isa/isa-syntax.el
+++ b/isa/isa-syntax.el
@@ -1,8 +1,8 @@
 ;; isa-syntax.el Syntax expressions for Isabelle
-;; Copyright (C) 1994-1998 LFCS Edinburgh. 
 ;;
+;; Copyright (C) 1994-1998 LFCS Edinburgh. 
+;; License:   GPL (GNU GENERAL PUBLIC LICENSE)
 ;; Author:      David Aspinall <da@dcs.ed.ac.uk>
-;; Maintainer:  Proof General maintainer <proofgen@dcs.ed.ac.uk>
 ;;
 ;; $Id$
 ;;
diff --git a/isa/isa.el b/isa/isa.el
index 5070f723..84c5f02d 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -1,8 +1,7 @@
 ;; isa-mode.el	 Emacs support for Isabelle proof assistant
 ;; Copyright (C) 1993-2000 LFCS Edinburgh, David Aspinall.
-;;
-;; Author:      David Aspinall <da@dcs.ed.ac.uk>
-;; Contact:     isa@proofgeneral.org
+;; License:   GPL (GNU GENERAL PUBLIC LICENSE)
+;; Author:    David Aspinall <da@dcs.ed.ac.uk>
 ;;
 ;; $Id$
 ;;
diff --git a/isa/thy-mode.el b/isa/thy-mode.el
index 07e0ca54..9121e3dd 100644
--- a/isa/thy-mode.el
+++ b/isa/thy-mode.el
@@ -1,7 +1,8 @@
 ;; thy-mode.el - Mode for Isabelle theory files.
 ;;
-;; Author:      David Aspinall <da@dcs.ed.ac.uk>
-;; Maintainer:  Isabelle maintainer <isabelle@dcs.ed.ac.uk>
+;; Copyright (C) 1998 LFCS Edinburgh. 
+;; Author:    David Aspinall <da@dcs.ed.ac.uk>
+;; License:   GPL (GNU GENERAL PUBLIC LICENSE)
 ;;
 ;; Taken from Isamode, version: 3.6 1998/09/02 11:40:45
 ;;
diff --git a/isa/x-symbol-isabelle.el b/isa/x-symbol-isabelle.el
index f9938491..02c23f70 100644
--- a/isa/x-symbol-isabelle.el
+++ b/isa/x-symbol-isabelle.el
@@ -1,7 +1,10 @@
+;; x-symbol-isabelle.el   Token language "Isabelle Symbols" for package x-symbol
+;;
 ;;  ID:         $Id$
 ;;  Author:     David von Oheimb
 ;;  Copyright   1998 Technische Universitaet Muenchen
-;;  token language "Isabelle Symbols" for package x-symbol
+;;  License     GPL (GNU GENERAL PUBLIC LICENSE)
+;;
 ;;
 ;; NB: Part of Proof General distribution.
 ;;
-- 
cgit v1.2.3