From 7d2a9992f3faee63461185580bbe254f6c288a68 Mon Sep 17 00:00:00 2001 From: aarne Date: Mon, 6 Mar 2006 21:27:49 +0000 Subject: more treebank options; updated history --- src/GF/Shell/HelpFile.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/GF/Shell/HelpFile.hs') 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:" ++ -- cgit v1.2.3