From 44d5bf78ff00eb2d48f111d8d8718aa3b8ad010c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 13 Dec 2007 00:07:38 +0000
Subject: Complete maths menu addition

---
 generic/proof-menu.el | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'generic/proof-menu.el')

diff --git a/generic/proof-menu.el b/generic/proof-menu.el
index 9591b914..c3ecb8c5 100644
--- a/generic/proof-menu.el
+++ b/generic/proof-menu.el
@@ -11,6 +11,8 @@
 (require 'proof-syntax)
 (require 'proof-toolbar)     ; needed for proof-toolbar-scripting-menu
 
+(require 'proof-maths-menu)  ; for automatic invocation from saved option
+
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;;
 ;;; Miscellaneous commands
-- 
cgit v1.2.3