diff options
| author | aarne <unknown> | 2005-09-04 10:45:37 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2005-09-04 10:45:37 +0000 |
| commit | 1a9a2ceaea22bca18424755becd4cb40e751a22b (patch) | |
| tree | e28463224d0d3d8c8ebb2be73a9026d07ecde905 /src/HelpFile | |
| parent | 6a01681d73102e6034bfd864a3cb674b54fc07ec (diff) | |
stat; type of imperatives in lib/resource
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 299655688..edc5bef9c 100644 --- a/src/HelpFile +++ b/src/HelpFile @@ -494,6 +494,7 @@ q, quit: q -printer=fullform full-form lexicon, short format *-printer=xml XML: DTD for the pg command, object for st -printer=old old GF: file readable by GF 1.2 + -printer=stat show some statistics of generated GFC -startcat, like -cat, but used in grammars (to avoid clash with keyword cat) |