summaryrefslogtreecommitdiff
path: root/src/HelpFile
diff options
context:
space:
mode:
Diffstat (limited to 'src/HelpFile')
-rw-r--r--src/HelpFile1
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