diff options
| author | David Aspinall | 2007-12-13 00:07:38 +0000 |
|---|---|---|
| committer | David Aspinall | 2007-12-13 00:07:38 +0000 |
| commit | 44d5bf78ff00eb2d48f111d8d8718aa3b8ad010c (patch) | |
| tree | 33c4b4a13e436e3d3ef994df0e7350bc675ae921 /generic/proof-menu.el | |
| parent | dcf8b2a653c058cc1dd594b7b8c89b09086062f4 (diff) | |
Complete maths menu addition
Diffstat (limited to 'generic/proof-menu.el')
| -rw-r--r-- | generic/proof-menu.el | 2 |
1 files changed, 2 insertions, 0 deletions
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 |