diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-08-28 08:06:00 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-08-28 08:06:00 +0000 |
commit | 88084e406487a23805ed7f4066dd1655d48385eb (patch) | |
tree | 5ceecd521e5a3cb3e02cbc28a2488997ba3a3270 /generic/pg-custom.el | |
parent | f974863d3c820fa6c85503dda8f6a96389cef407 (diff) |
Clean up and rearrange variable declaration files
Diffstat (limited to 'generic/pg-custom.el')
-rw-r--r-- | generic/pg-custom.el | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/generic/pg-custom.el b/generic/pg-custom.el index ed869229..b49c35ad 100644 --- a/generic/pg-custom.el +++ b/generic/pg-custom.el @@ -8,7 +8,7 @@ ;; ;;; Commentary: ;; -;; Prover specific settings +;; Prover specific settings and user options. ;; ;; The settings defined here automatically use the current proof ;; assistant symbol as a prefix, i.e. isa-favourites, coq-favourites, @@ -23,6 +23,10 @@ ;; forms that refer to `proof-assistant', which is only properly set ;; when the mode for a proof assistant is started (see mode stub). ;; +;; See also: +;; +;; proof-useropts.el +;; pg-vars.el ;;; Code: |