diff options
Diffstat (limited to 'lego')
-rw-r--r-- | lego/lego.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lego/lego.el b/lego/lego.el index 3a6fe5d4..869cf50a 100644 --- a/lego/lego.el +++ b/lego/lego.el @@ -378,7 +378,7 @@ (setq proof-comment-start "(*") (setq proof-comment-end "*)") - (setq proof-www-home-page lego-www-home-page) + (setq proof-assistant-home-page lego-www-home-page) (setq proof-mode-for-script 'lego-mode) |