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

---
 isar/isar-syntax.el | 1 +
 isar/isar.el        | 1 +
 2 files changed, 2 insertions(+)

(limited to 'isar')

diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el
index 7325f709..f88d7eb1 100644
--- a/isar/isar-syntax.el
+++ b/isar/isar-syntax.el
@@ -1,5 +1,6 @@
 ;; isar-syntax.el Syntax expressions for Isabelle/Isar
 ;; Copyright (C) 1994-1998 LFCS Edinburgh.
+;; License:   GPL (GNU GENERAL PUBLIC LICENSE)
 ;;
 ;; Author:      David Aspinall <da@dcs.ed.ac.uk>
 ;; Maintainer:  Markus Wenzel <wenzelm@in.tum.de>
diff --git a/isar/isar.el b/isar/isar.el
index 4425f69b..d4f4683d 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -1,5 +1,6 @@
 ;; isar.el Major mode for Isabelle/Isar proof assistant
 ;; Copyright (C) 1994-1998 LFCS Edinburgh.
+;; License:   GPL (GNU GENERAL PUBLIC LICENSE)
 ;;
 ;; Author:              David Aspinall <da@dcs.ed.ac.uk>
 ;; Author / Maintainer: Markus Wenzel <wenzelm@in.tum.de>
-- 
cgit v1.2.3