aboutsummaryrefslogtreecommitdiffhomepage
path: root/lego/lego.el
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>1998-10-29 15:37:13 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>1998-10-29 15:37:13 +0000
commit23792ca17ac646eadf08c7be62ccda7767002449 (patch)
tree67f890878a7adefefe15180d2a98d9b1a77c0dc2 /lego/lego.el
parent677e94838915dd4cacd3ad70c5da90b3730eddbc (diff)
More hacks to variable names for customize (sorry)
Diffstat (limited to 'lego/lego.el')
-rw-r--r--lego/lego.el2
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)