From ddbf6de3ec04979ef9a15dfd9c616e17cca83ba6 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Fri, 9 Jun 2000 19:26:31 +0000
Subject: Load a couple more file manually.

---
 doc/docstring-magic.el | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'doc/docstring-magic.el')

diff --git a/doc/docstring-magic.el b/doc/docstring-magic.el
index 49984264..2a8e7696 100644
--- a/doc/docstring-magic.el
+++ b/doc/docstring-magic.el
@@ -53,6 +53,8 @@
 (load "thy-mode.el")
 (load "proof-menu.el")
 (load "proof-toolbar.el")
+(load "proof-script.el")
+(load "proof-shell.el")
 
 ;; A couple of comint symbols are mentioned in the docs
 (require 'comint)
-- 
cgit v1.2.3