diff options
Diffstat (limited to 'generic/pg-pamacs.el')
-rw-r--r-- | generic/pg-pamacs.el | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/generic/pg-pamacs.el b/generic/pg-pamacs.el index 5e7d1830..282cf59e 100644 --- a/generic/pg-pamacs.el +++ b/generic/pg-pamacs.el @@ -25,8 +25,6 @@ ;; (proof-ass name) or (proof-assistant-name) ;; ;; -;; Developer's note: This code was previously in proof-utils.el. -;; (require 'proof-site) ; proof-assitant-symbol (require 'proof-compat) ; pg-custom-undeclare-variable |