diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-15 08:39:26 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-15 08:39:26 +0000 |
commit | effe0e80d42af72da945cb768497cde263633ff2 (patch) | |
tree | 26592fa4f93dd086c57ffc4ca1e25743869f68f3 /doc/docstring-magic.el | |
parent | 608f6ec2745f54ebbee3d7dd408c51b507f1d4e5 (diff) |
Update docs
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) |