Fix for Mantis bug 1908

ganelson · Apr 11, 2022 · 60e83d3 · 60e83d3
1 parent b110c6d
commit 60e83d3
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 6 deletions.
diff --git a/README.md b/README.md
@@ -1,6 +1,6 @@
 # Inform 7
 
-v10.1.0-alpha.1+6U80 'Krypton' (11 April 2022)
+v10.1.0-alpha.1+6U81 'Krypton' (12 April 2022)
 
 ## About Inform 7
 

diff --git a/build.txt b/build.txt
@@ -1,3 +1,3 @@
 Prerelease: alpha.1
-Build Date: 11 April 2022
-Build Number: 6U80
+Build Date: 12 April 2022
+Build Number: 6U81
diff --git a/resources/Documentation/Writing with Inform.txt b/resources/Documentation/Writing with Inform.txt
@@ -15473,11 +15473,12 @@ To get the full effect of filtering, we probably need to define an adjective or
 
 	Definition: a text (called T) is lengthy if the number of characters in it is greater than 6.
 
-We can then write:
+We can then write, for example:
 
-	filter to lengthy texts of spelling out applied to {15, 2, 20, 29, -4}
+	let L be the filter to lengthy texts of spelling out applied to {15, 2, 20, 29, -4};
+	showme L;
 
-which produces {"fifteen", "twenty-nine", "minus four"}.
+which produces the list {"fifteen", "twenty-nine", "minus four"}.
 
 Lastly, reduction. In order to combine a whole list of values, we need a phrase to combine any two. Here are some samples: