diff options
Diffstat (limited to 'proof-general.el')
-rw-r--r-- | proof-general.el | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/proof-general.el b/proof-general.el index 73820f9e..fac8f5ac 100644 --- a/proof-general.el +++ b/proof-general.el @@ -14,10 +14,9 @@ ;; Package-Requires: ((emacs "24.3")) ;; Version: 4.5-git -;; This program is free software; you can redistribute it and/or modify -;; it under the terms of the GNU General Public License as published by -;; the Free Software Foundation, either version 3 of the License, or -;; (at your option) any later version. +;; This software is free software; you can redistribute it and/or +;; modify it under the terms of the GNU General Public License +;; version 2, as published by the Free Software Foundation. ;; This program is distributed in the hope that it will be useful, ;; but WITHOUT ANY WARRANTY; without even the implied warranty of |