diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-10-01 14:35:51 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-10-01 14:35:51 +0000 |
commit | 858a775958acb876343155315ecf052d298b797a (patch) | |
tree | 68893f628f9d1186f059c28c0ccd181f6c048d1d /generic/pg-pamacs.el | |
parent | 6defbc55ac79d76c8a57a9a5c3b83df122e4213c (diff) |
Comment
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 |