diff options
Diffstat (limited to 'isar/isar.el')
-rw-r--r-- | isar/isar.el | 1 |
1 files changed, 1 insertions, 0 deletions
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> |