diff options
author | Thomas Voss <mail@thomasvoss.com> | 2024-09-12 18:26:29 +0200 |
---|---|---|
committer | Thomas Voss <mail@thomasvoss.com> | 2024-09-12 18:26:29 +0200 |
commit | fc11711f5b9c5a5c62d21a692c284a0b0c3c51c9 (patch) | |
tree | eb8abcce09f002b6f56832eec831c192f1efee60 /README | |
parent | 82a3052c513ea9f5a5d9b2a3e9917ff446f7dc16 (diff) |
Fix errors in the README
Diffstat (limited to 'README')
-rw-r--r-- | README | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 |