diff options
Diffstat (limited to 'doc/docstring-magic.el')
-rw-r--r-- | doc/docstring-magic.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/docstring-magic.el b/doc/docstring-magic.el index 55cb7aa4..1d074d8d 100644 --- a/doc/docstring-magic.el +++ b/doc/docstring-magic.el @@ -62,6 +62,7 @@ (load "pg-goals.el") (load "pg-response.el") (load "unicode-tokens.el") +(load "proof-splash.el") ;; A couple of comint symbols are mentioned in the docs (require 'comint) |