diff options
Diffstat (limited to 'proof-general.el')
| -rw-r--r-- | proof-general.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/proof-general.el b/proof-general.el index 5b4b6a56..16032906 100644 --- a/proof-general.el +++ b/proof-general.el @@ -11,7 +11,7 @@ ;; Authors: (see the AUTHORS file distributed along the sources) ;; URL: https://proofgeneral.github.io/ -;; Package-Requires: ((emacs "24.3")) +;; Package-Requires: ((emacs "24.5")) ;; Version: 4.5-git ;; This software is free software; you can redistribute it and/or |