summaryrefslogtreecommitdiff
path: root/src/HelpFile
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2007-02-23 16:28:06 +0000
committeraarne <aarne@cs.chalmers.se>2007-02-23 16:28:06 +0000
commit5264780e67d74eb16a4cb499072b89b57ca4a37c (patch)
tree25925ff4bf8532101f180400f68045be3932d7ed /src/HelpFile
parent1d803dff1056e8cc04e9ef3998a7107b952b99c1 (diff)
cc -table
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