From f1e1e37ac85ab5f6746d03b067628605fb67ab09 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 25 Nov 1998 12:48:17 +0000
Subject: Load proof-toolbar

---
 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 58eee9ef..3f5c32e3 100644
--- a/doc/docstring-magic.el
+++ b/doc/docstring-magic.el
@@ -14,6 +14,7 @@
 (load "proof-site.el")
 (load "proof-config.el")
 (load "proof.el")
+(load "proof-toolbar.el")
 (load "isa.el")
 (load "thy-mode.el")
 (load "coq.el")
-- 
cgit v1.2.3