From 922e663ce8a160d5f5b04fb0e2725a37548bcab0 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 21 Aug 1998 13:37:30 +0000
Subject: Typos and fixes in Walkthrough section.

---
 script-management.texinfo | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/script-management.texinfo b/script-management.texinfo
index 6ca81ed7..a7232b3c 100644
--- a/script-management.texinfo
+++ b/script-management.texinfo
@@ -322,7 +322,7 @@ Here's a LEGO example of how script management is used.
 First, we turn on active terminator minor mode by typing @kbd{C-c ;}
 Then we enter 
 
-`Module Walthrough Import lib_logic;'
+`Module Walkthrough Import lib_logic;'
 
 The command should be lit in pink (or inverse video if you don't have a
 colour display).  As LEGO imports each module, a line will appear in the
@@ -330,7 +330,7 @@ response buffer showing the creation of context marks. Eventually the
 command should turn blue, indicating that LEGO has successfully
 processed it. Then type (on a separate line if you like)
 
-@samp{Goal bland_commutes: @{A,b:Prop@} and A B -> and B A;}
+@samp{Goal bland_commutes: @{A,B:Prop@} (and A B) -> (and B A);}
 
 The goal should be echoed in the response buffer.
 
-- 
cgit v1.2.3