From effe0e80d42af72da945cb768497cde263633ff2 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 15 Sep 2009 08:39:26 +0000 Subject: Update docs --- doc/docstring-magic.el | 1 + 1 file changed, 1 insertion(+) (limited to 'doc/docstring-magic.el') 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) -- cgit v1.2.3