diff options
Diffstat (limited to 'generic/proof.el')
| -rw-r--r-- | generic/proof.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/generic/proof.el b/generic/proof.el index 794f5445..1acfae71 100644 --- a/generic/proof.el +++ b/generic/proof.el @@ -34,6 +34,7 @@ (require 'proof-config) ; configuration variables (require 'proof-auxmodes) ; auxmode functions (require 'proof-script) ; script mode +(require 'proof-tree) ; proof tree visualization with prooftree (require 'proof-shell) ; shell mode (provide 'proof) |