From f53f35978f4cd6b0e4c5e9123b5e88f04f6f4452 Mon Sep 17 00:00:00 2001 From: aarne Date: Thu, 1 Apr 2004 09:51:32 +0000 Subject: 2beta2 --- src/HelpFile.hs | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) (limited to 'src/HelpFile.hs') diff --git a/src/HelpFile.hs b/src/HelpFile.hs index 12fdab8a6..57b38218f 100644 --- a/src/HelpFile.hs +++ b/src/HelpFile.hs @@ -35,7 +35,7 @@ txtHelpFile = "\n .ebnf Extended BNF format" ++ "\n .cf Context-free (BNF) format" ++ "\n options:" ++ - "\n -old old: parse in GF<2.0 format" ++ + "\n -old old: parse in GF<2.0 format (not necessary)" ++ "\n -v verbose: give lots of messages " ++ "\n -s silent: don't give error messages" ++ "\n -opt perform branch-sharing optimization" ++ @@ -146,15 +146,17 @@ txtHelpFile = "\n flags: " ++ "\n -lexer use this lexer" ++ "\n" ++ - "\ncc, compute_concrete: cc Ident Term" ++ - "\n Compute a term by concrete syntax definitions." ++ - "\n The identifier Ident is a resource module name " ++ - "\n needed to resolve constant. " ++ + "\ncc, compute_concrete: cc Term" ++ + "\n Compute a term by concrete syntax definitions. Uses the topmost" ++ + "\n resource module (the last in listing by command po) to resolve " ++ + "\n constant names. " ++ "\n N.B. You need the flag -retain when importing the grammar, if you want " ++ "\n the oper definitions to be retained after compilation; otherwise this" ++ "\n command does not expand oper constants." ++ "\n N.B.' The resulting Term is not a term in the sense of abstract syntax," ++ "\n and hence not a valid input to a Tree-demanding command." ++ + "\n flags:" ++ + "\n -res use another module than the topmost one" ++ "\n" ++ "\nt, translate: t Lang Lang String" ++ "\n Parses String in Lang1 and linearizes the resulting Trees in Lang2." ++ -- cgit v1.2.3