diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/gf-history.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/gf-history.html b/doc/gf-history.html index 54f3950e4..ceba9fa30 100644 --- a/doc/gf-history.html +++ b/doc/gf-history.html @@ -24,7 +24,7 @@ The new options are: <dt><tt>pg -printer=slf_graphviz</tt></dt> <dd>The same FA as in SLF, but in Graphviz format.</dd> <dt><tt>pg -printer=fa_graphviz</tt></dt> -<dd>An FA with labelled edges, instead of labelled nodes which SLF has.</dd> +<dd>A finite automaton with labelled edges, instead of labelled nodes which SLF has.</dd> <dt><tt>pg -printer=regular</tt></dt> <dd>A regular grammar in a simple BNF.</dd> </dl> |