diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2002-06-21 21:39:30 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2002-06-21 21:39:30 +0000 |
commit | 78ac2e9ae8c6638697b1aeee7f28b6ba800b28c9 (patch) | |
tree | 3033466aa7fcb38642869941720ca980f27945ce /isar | |
parent | 43f99d9af09b511e1bef318310abc2cc15fbc51b (diff) |
GPL update
Diffstat (limited to 'isar')
-rw-r--r-- | isar/isar-syntax.el | 1 | ||||
-rw-r--r-- | isar/isar.el | 1 |
2 files changed, 2 insertions, 0 deletions
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> |