diff options
| author | aarne <unknown> | 2005-10-31 07:12:18 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2005-10-31 07:12:18 +0000 |
| commit | 7c78f5e409c711740114385bcf655680c6a6dcef (patch) | |
| tree | 6c54d061d92c8cae1abbf85ee131cc90f902fa8b /src/GF/Shell/ShellCommands.hs | |
| parent | f9293c6b29696db51b6bab7b5171b74bd6da084b (diff) | |
more probs
Diffstat (limited to 'src/GF/Shell/ShellCommands.hs')
| -rw-r--r-- | src/GF/Shell/ShellCommands.hs | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/GF/Shell/ShellCommands.hs b/src/GF/Shell/ShellCommands.hs index fefc9a821..eac97b22c 100644 --- a/src/GF/Shell/ShellCommands.hs +++ b/src/GF/Shell/ShellCommands.hs @@ -5,9 +5,9 @@ -- Stability : (stable) -- Portability : (portable) -- --- > CVS $Date: 2005/10/13 13:43:47 $ +-- > CVS $Date: 2005/10/31 08:12:18 $ -- > CVS $Author: aarne $ --- > CVS $Revision: 1.43 $ +-- > CVS $Revision: 1.44 $ -- -- The datatype of shell commands and the list of their options. ----------------------------------------------------------------------------- @@ -173,9 +173,10 @@ optionsOfCommand co = case co of CTransformGrammar _ -> flags "printer" CConvertLatex _ -> none CLinearize _ -> both "utf8 table struct record all multi" "lang number unlexer" - CParse -> both "new newer cfg mcfg n ign raw v lines all" "cat lang lexer parser number rawtrees" + CParse -> both "new newer cfg mcfg n ign raw v lines all" + "cat lang lexer parser number rawtrees probs" CTranslate _ _ -> opts "cat lexer parser" - CGenerateRandom -> flags "cat lang number depth" + CGenerateRandom -> flags "cat lang number depth probs" CGenerateTrees -> both "metas" "atoms depth alts cat lang number" CPutTerm -> flags "transform number" CWrapTerm _ -> opts "c" |