Some minor fixes to the unfinished Pearl solver:

[sgt/puzzles] / puzzles.but

diff --git a/puzzles.but b/puzzles.but
index 59cb128..1db8b71 100644 (file)
--- a/puzzles.but
+++ b/puzzles.but
@@ -1965,7 +1965,7 @@ measured.
 \dd Allows you to choose between a selection of types of tiling.
 Some have all the faces the same but may have multiple different
 types of vertex (e.g. the \e{Cairo} or \e{Kites} mode); others have
-all the vertices the same but may have differnt types of face (e.g.
+all the vertices the same but may have different types of face (e.g.
 the \e{Great Hexagonal}). The square, triangular and honeycomb grids
 are fully regular, and have all their vertices \e{and} faces the
 same; this makes them the least confusing to play.
@@ -2493,10 +2493,10 @@ either way round, though.
 block of size two and means that one digit divided by the other is
 equal to the given amount.
 
-Note that a block may contain more than one digit the same (provided
-the identical ones are not in the same row and column). This rule is
-precisely the opposite of the rule in Solo's \q{Killer} mode (see
-\k{solo}).
+Note that a block may contain the same digit more than once
+(provided the identical ones are not in the same row and column).
+This rule is precisely the opposite of the rule in Solo's \q{Killer}
+mode (see \k{solo}).
 
 }
 
@@ -2682,12 +2682,12 @@ Singles was contributed to this collection by James Harvey.
 \IM{Singles controls} controls, for Singles
 
 Left-clicking on an empty square will colour it black; left-clicking again 
-will replace the number. Right-clicking will add a circle (useful for 
+will restore the number. Right-clicking will add a circle (useful for 
 indicating that a cell is definitely not black). 
 
 You can also use the cursor keys to move around the grid. Pressing the
 return or space keys will turn a square black or add a circle respectively,
-and pressing the key again will replace the number or remove the circle.
+and pressing the key again will restore the number or remove the circle.
 
 (All the actions described in \k{common-actions} are also available.)
 
@@ -2843,10 +2843,7 @@ These parameters are available from the \q{Custom...} option on the
 
 \dt \e{Width}, \e{Height}
 
-\dd Size of grid in squares. There will be half \e{Width} \by \e{Height}
-dominoes in the grid: if this number is odd then one square will be blank.
-
-(Grids with at least one odd dimension tend to be easier to solve.)
+\dd Size of grid in squares.
 
 \dt \e{Force start/end to corners}