diff options
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 |