diff options
| author | bringert <unknown> | 2005-09-13 07:33:56 +0000 |
|---|---|---|
| committer | bringert <unknown> | 2005-09-13 07:33:56 +0000 |
| commit | 314a9db89f93ca6895595268485fe23a6c85c07a (patch) | |
| tree | 42587e660fcde45e2ee7e10d063b82a501a04151 /doc | |
| parent | 0199234b2d4c966d79a47aa878792b996d6124e2 (diff) | |
Added FA and SRG stuff to HelpFile. Fixed typos in history file.
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> |