diff options
| author | aarne <unknown> | 2005-09-14 15:26:21 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2005-09-14 15:26:21 +0000 |
| commit | e3395efbf18757f16e32035f4259e47aced6da27 (patch) | |
| tree | 2063c7a4c2625da63b14604385879c85aeb095ff /src/HelpFile | |
| parent | b109bcaafad0cdcadd38831799346257aae76c17 (diff) | |
unpar
Diffstat (limited to 'src/HelpFile')
| -rw-r--r-- | src/HelpFile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/HelpFile b/src/HelpFile index 791c639a5..f230e01cd 100644 --- a/src/HelpFile +++ b/src/HelpFile @@ -501,6 +501,7 @@ q, quit: q -printer=slf_graphviz the same automaton as in SLF, but in Graphviz format -printer=fa_graphviz a finite automaton with labelled edges -printer=regular a regular grammar in a simple BNF + -printer=unpar a gfc grammar with parameters eliminated -startcat, like -cat, but used in grammars (to avoid clash with keyword cat) |