From fc11711f5b9c5a5c62d21a692c284a0b0c3c51c9 Mon Sep 17 00:00:00 2001 From: Thomas Voss Date: Thu, 12 Sep 2024 18:26:29 +0200 Subject: Fix errors in the README --- README | 4 ++-- 1 file 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 -- cgit v1.2.3