diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-03-06 21:27:49 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-03-06 21:27:49 +0000 |
| commit | 7d2a9992f3faee63461185580bbe254f6c288a68 (patch) | |
| tree | b9c968024a3d57ce5b630e3a24945a6ab87a95e6 /src/GF/Shell/HelpFile.hs | |
| parent | a961739bbf672eaad0a26fb15372fcc68c902ef1 (diff) | |
more treebank options; updated history
Diffstat (limited to 'src/GF/Shell/HelpFile.hs')
| -rw-r--r-- | src/GF/Shell/HelpFile.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/GF/Shell/HelpFile.hs b/src/GF/Shell/HelpFile.hs index ca795d01c..7c9133417 100644 --- a/src/GF/Shell/HelpFile.hs +++ b/src/GF/Shell/HelpFile.hs @@ -252,7 +252,8 @@ txtHelpFile = "\n options:" ++ "\n -assocs show all string-trees associations in the treebank" ++ "\n -strings show all strings in the treebank" ++ - "\n -raw return result as string, without typechecking it" ++ + "\n -trees show all trees in the treebank" ++ + "\n -raw return the lookup result as string, without typechecking it" ++ "\n flags:" ++ "\n -treebank use this treebank (instead of the latest introduced one)" ++ "\n examples:" ++ |