diff options
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: |