diff options
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> |