From 23792ca17ac646eadf08c7be62ccda7767002449 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 29 Oct 1998 15:37:13 +0000
Subject: More hacks to variable names for customize (sorry)

---
 lego/lego.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lego')

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)
 
-- 
cgit v1.2.3