From 60e83d3da7acaf143cbf799b6d292d0589fc6a86 Mon Sep 17 00:00:00 2001 From: Graham Nelson Date: Tue, 12 Apr 2022 00:06:48 +0100 Subject: [PATCH] Fix for Mantis bug 1908 --- README.md | 2 +- build.txt | 4 ++-- resources/Documentation/Writing with Inform.txt | 7 ++++--- 3 files changed, 7 insertions(+), 6 deletions(-) diff --git a/README.md b/README.md index 35b6bb142b..1d65b98c81 100644 --- 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 index dea83bf068..c449d73725 100644 --- 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 index 131713a955..c3994dc5db 100644 --- 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: