diff options
Diffstat (limited to 'lego/lego.el')
| -rw-r--r-- | lego/lego.el | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lego/lego.el b/lego/lego.el index a35d28bf..f0564857 100644 --- a/lego/lego.el +++ b/lego/lego.el @@ -378,6 +378,8 @@ (setq proof-www-home-page lego-www-home-page) + (setq proof-mode-for-script 'lego-mode) + (setq proof-prf-string "Prf" proof-goal-command "Goal %s;" proof-save-command "Save %s;" |