aboutsummaryrefslogtreecommitdiff
path: root/README
diff options
context:
space:
mode:
authorThomas Voss <mail@thomasvoss.com> 2024-09-12 18:26:29 +0200
committerThomas Voss <mail@thomasvoss.com> 2024-09-12 18:26:29 +0200
commitfc11711f5b9c5a5c62d21a692c284a0b0c3c51c9 (patch)
treeeb8abcce09f002b6f56832eec831c192f1efee60 /README
parent82a3052c513ea9f5a5d9b2a3e9917ff446f7dc16 (diff)
Fix errors in the README
Diffstat (limited to 'README')
-rw-r--r--README4
1 files changed, 2 insertions, 2 deletions
diff --git a/README b/README
index f2bf0e8..2e98e89 100644
--- a/README
+++ b/README
@@ -11,7 +11,7 @@ LaTeX output — perfect for repetitive university assignments.
When run without arguments, Pinocchio reads queries from the standard
input and prints truth tables to the standard output. If given
one-or-more non-option command-line arguments, the arguments are treated
-as newline-separated lists of queries. The special filename ‘-’ may be
+as newline-separated files of queries. The special filename ‘-’ may be
used to denote the standard input. The -s/--string option may also be
used to provide a query directly to Pinocchio as a command-line argument.
@@ -35,7 +35,7 @@ shown in the generated table are separated by a vertical-bar (‘|’).
$
Each vertical-bar-separated expression in the query may refer to
-zero-or-more variables, where a variable is any lower- or uppercase ASCII
+one-or-more variables, where a variable is any lower- or uppercase ASCII
character (Unicode or multi-character variables are not supported).
Operators may also be written using either the corresponding Unicode
character or by using an ASCII alternative with C-like (but not