diff options
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 b1d3f3a83..be06efb0b 100644 --- a/src/HelpFile +++ b/src/HelpFile @@ -270,6 +270,7 @@ cc, compute_concrete: cc Term N.B.' The resulting Term is not a term in the sense of abstract syntax, and hence not a valid input to a Tree-demanding command. flags: + -table show output in a similar readable format as 'l -table' -res use another module than the topmost one examples: cc -res=ParadigmsFin (nLukko "hyppy") -- inflect "hyppy" with nLukko |
