diff options
| author | Mattias Andrée <m@maandree.se> | 2026-06-01 19:07:14 +0200 |
|---|---|---|
| committer | Mattias Andrée <m@maandree.se> | 2026-06-01 19:07:14 +0200 |
| commit | 77ade8d20906fe9ca2cf6788ff1e1437e0912868 (patch) | |
| tree | 61495e90e057bf792bb1d8ce157cef0ecc2ab696 /libnormalform.7 | |
| parent | First commit (diff) | |
| download | libnormalform-77ade8d20906fe9ca2cf6788ff1e1437e0912868.tar.gz libnormalform-77ade8d20906fe9ca2cf6788ff1e1437e0912868.tar.bz2 libnormalform-77ade8d20906fe9ca2cf6788ff1e1437e0912868.tar.xz | |
Signed-off-by: Mattias Andrée <m@maandree.se>
Diffstat (limited to 'libnormalform.7')
| -rw-r--r-- | libnormalform.7 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libnormalform.7 b/libnormalform.7 index 1607b34..88cfc91 100644 --- a/libnormalform.7 +++ b/libnormalform.7 @@ -1,6 +1,6 @@ .TH LIBNORMALFORM 7 LIBNORMALFORM .SH NAME -libnormalform \- First-order logic sentence canonicalisation library +libnormalform \- First-order logic sentence normalisation library .SH SYNOPSIS .nf |