diff options
| author | aarne <unknown> | 2004-04-19 15:33:45 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-04-19 15:33:45 +0000 |
| commit | 2e0c510285ac1cabefea0ab68ffb1215d7297578 (patch) | |
| tree | 805df5361f07e0ff22c9eb69c0daf9abb6353aba /src/HelpFile | |
| parent | fa07ada6ab11f8e0820fe075ce58d8ca700e13e3 (diff) | |
some more printing
Diffstat (limited to 'src/HelpFile')
| -rw-r--r-- | src/HelpFile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/HelpFile b/src/HelpFile index 27d030201..0f7db045b 100644 --- a/src/HelpFile +++ b/src/HelpFile @@ -347,8 +347,10 @@ q, quit: q -parser=earley Earley algorithm -parser=chart bottom-up chart parser --printer: format in which the grammar is printed. The default is gf. +-printer: format in which the grammar is printed. The default is gfc. + -printer=gfc GFC grammar -printer=gf GF grammar + -printer=old old GF grammar -printer=cf context-free grammar *-printer=happy source file for Happy parser generator -printer=srg speech recognition grammar |