[Help
martin.hofmann@uni-bamberg.de**20100315122657] hunk ./src/Igor2/UI/Help.hs 14
-    fillwords ( "Generally commands can be abbreviated " ++
-                  "with the first character of the long command preceeded " ++
-                  "by a colon, e.g. ':h' for ':help'.")<$$>
-    fillwords ( "Multiple commands can be entered either " ++
-                  "one at a time, or together separated by a semicolon. " ++
-                  "Passing commands to Igor2 in batch mode or at " ++
-                  "command-line is similar. Except that you need to escape " ++
-                  "string quotes at command line with '\\\"'. For an example " ++
-                  "see the batch file 'expl/batch.txt'") <$$> linebreak <>
+    fillwords ("Generally commands can be abbreviated with the first character \
+               \of the long command preceeded by a colon, e.g. ':h' for \
+               \':help'.")<$$>
+    fillwords ("Multiple commands can be entered either one at a time, or \
+               \together separated by a semicolon. Passing commands to Igor2 \
+               \in batch mode or at command-line is similar. Except that you \
+               \need to escape string quotes at command line with '\\\"'. For \
+               \an example see the batch file 'expl/batch.txt'") <$$> 
+    linebreak <>
hunk ./src/Igor2/UI/Help.hs 24
-    indent 3 (fillwords "Quit the program.") <$$> linebreak <>
+    indent 3 (fillwords "Quit the program.") <$$> 
+    linebreak <>
hunk ./src/Igor2/UI/Help.hs 27
-    indent 3 (fillwords "A short help text.") <$$> linebreak <>
+    indent 3 (fillwords "A short help text.") <$$> 
+    linebreak <>
hunk ./src/Igor2/UI/Help.hs 30
-    indent 3 (fillwords "This longer helpt text.") <$$> linebreak <>
+    indent 3 (fillwords "This longer helpt text.") <$$> 
+    linebreak <>
hunk ./src/Igor2/UI/Help.hs 33
-    indent 3 (fillwords $ "Load a specification file into Igor2's context. "++ 
-                          "The file is required to be a correct Haskell " ++
-                          "module and therefore has to type check. The I/O " ++
-                          "for a target function must be non-recursive, of " ++
-                          "course. All Prelude data types ([a], Bool, Maybe " ++
-                          "a, Either a b) can be used and further data " ++
-                          "types can be defined in this module. Imports are " ++
-                          "not supported, yet.") <$$> linebreak <>
+    indent 3 (fillwords $ "Load a specification file into Igor2's context. The \
+                          \file is required to be a correct Haskell module and \
+                          \therefore has to type check. The I/O for a target \
+                          \function must be non-recursive, of course. All \
+                          \Prelude data types ([a], Bool, Maybe a, Either a b) \
+                          \can be used and further data types can be defined \
+                          \in this module. Imports are not supported, yet.")<$$>
+    linebreak <>
hunk ./src/Igor2/UI/Help.hs 42
-    indent 3 (fillwords $ "Resets the current context, and sets all options " ++
-                         "to their default values.")<$$> linebreak <>
+    indent 3 (fillwords $ "Resets the current context, and sets all options to \
+                          \their default values.")<$$> 
+    linebreak <>
hunk ./src/Igor2/UI/Help.hs 46
-    indent 3 (fillwords $"Run all commands in the batch file until EOF, on " ++
-                         "command is not exectuable, or ':quit'.") <$$> linebreak <>
+    indent 3 (fillwords $"Run all commands in the batch file until EOF, on \
+                         \command is not exectuable, or ':quit'.") <$$> 
+    linebreak <>
hunk ./src/Igor2/UI/Help.hs 50
-    indent 3 (fillwords "Print \"something\" one the prompt.") <$$> linebreak <>
+    indent 3 (fillwords "Print \"something\" one the prompt.") <$$> 
+    linebreak <>
hunk ./src/Igor2/UI/Help.hs 53
-    indent 3 (fillwords "Set an option, where <option> is one of the following.") <$$>
+    indent 3 (fillwords "Set an option, where <option> is one of the \
+                        \following.") <$$>
hunk ./src/Igor2/UI/Help.hs 56
-                align (fillwords "enable debug mode")) <$$>
+              align (fillwords "enable debug mode")) <$$>
hunk ./src/Igor2/UI/Help.hs 58
-                align (fillwords "disable debug mode [default]")) <$$>
+              align (fillwords "disable debug mode [default]")) <$$>
hunk ./src/Igor2/UI/Help.hs 60
-                align (fillwords "chatty ouput")) <$$>
+              align (fillwords "chatty ouput")) <$$>
hunk ./src/Igor2/UI/Help.hs 62
-                align (fillwords "normal output [default]")) <$$>
+              align (fillwords "normal output [default]")) <$$>
hunk ./src/Igor2/UI/Help.hs 64
-                align (fillwords "write a log file")) <$$>
+              align (fillwords "write a log file")) <$$>
hunk ./src/Igor2/UI/Help.hs 66
-                align (fillwords "do not write a log file [default]")) <$$>
+              align (fillwords "do not write a log file [default]")) <$$>
hunk ./src/Igor2/UI/Help.hs 68
-                align (fillwords ("simplify the result by replacing constant " ++
-                           "function calls"))) <$$>
+              align (fillwords ("simplify the result by replacing constant \
+                                \function calls"))) <$$>
hunk ./src/Igor2/UI/Help.hs 71
-                align (fillwords ("show Igor2's original solution [default]"))) <$$>
+              align (fillwords ("show Igor2's original solution \
+                                \[default]"))) <$$>
hunk ./src/Igor2/UI/Help.hs 74
-                align (fillwords ("set the width of your display to N columns " ++
-                           "[default 80]"))) <$$>
+              align (fillwords ("set the width of your display to N columns \
+                                \[default 80]"))) <$$>
hunk ./src/Igor2/UI/Help.hs 77
-                align (fillwords ("stop the synthesis cycle after N loops with a " ++
-                           "(probably) partial result (in debug mode only) " ++
-                           "[default 20]"))) <$$>
+              align (fillwords ("stop the synthesis cycle after N loops with a \
+                                \(probably) partial result (in debug mode \
+                                \only) [default 20]"))) <$$>
+    indent 5 (fill 20 (text "maxTiers=N") <> 
+              align (fillwords ("When best hypothesis was found and maxLoops \
+                                \not yet exhausted continue until N-best \
+                                \solution has been fount. (probably) partial \
+                                \result (in debug mode only) \
+                                \[default 1]"))) <$$>
hunk ./src/Igor2/UI/Help.hs 87
-                align (fillwords ("this is the directory, where the log files are " ++
-                           "dumped to [default \".\"]"))) <$$>
+              align (fillwords ("This is the directory, where the log files \
+                                \are 1dumped to [default \".\"]"))) <$$>
hunk ./src/Igor2/UI/Help.hs 90
-                align (fillwords ("to ensure termination of the final program, " ++
-                           "arguments of calling/called functions have to be " ++
-                           "compared. <mode> states how this is done. Use " ++
-                           "\"Linear\" to compare the total number of " ++
-                           "constructor symbols in the arguments. To compare " ++
-                           "the number of constructor symbols argumentwise " ++
-                           " use \"AWise\" [default]. Given two left-hand sides " ++
-                           "a = (a1 a2 ..) and b = (b1 b2 ..), then a < b if " ++
-                           "a1 < b1 or a1 == b1 and a2 < b2 or a1 == b1 and " ++
-                           "a2 == b2 .. . This is necessary, if the size of " ++
-                           "arguments does not change over all I/O examples, " ++
-                           "e.g. if accumulator variables are involved."))) <$$>
+              align (fillwords ("to ensure termination of the final program, \
+                                \arguments of calling/called functions have to \
+                                \be compared. <mode> states how this is done. \
+                                \Use \"Linear\" to compare the total number of \
+                                \constructor symbols in the arguments. To \
+                                \compare the number of constructor symbols \
+                                \argumentwise use \"AWise\" [default]. Given \
+                                \two left-hand sides a = (a1 a2 ..) and b = \
+                                \(b1 b2 ..), then a < b if a1 < b1 or a1 == b1 \
+                                \and a2 < b2 or a1 == b1 and a2 == b2 ... . \
+                                \This is necessary, if the size of arguments \
+                                \does not change over all I/O examples, e.g. \
+                                \if accumulator variables are involved."))) <$$>
hunk ./src/Igor2/UI/Help.hs 104
-    indent 3 (fillwords $ "Shows the current context with the I/O examples " ++
-                          "of the functions in scope, if 'verbose' is on, or " ++
-                          "the number of the examples, otherwise. Furthermore, " ++
-                          "the values of all options and flag are displayed." ++
-                          "specification from the current context.") <$$> linebreak <>
+    indent 3 (fillwords $ "Shows the current context with the I/O examples of \
+                          \the functions in scope, if 'verbose' is on, or the \
+                          \number of the examples, otherwise. Furthermore, the \
+                          \values of all options and flags are displayed as \
+                          \well as specification details from the current \
+                          \context.") <$$> 
+    linebreak <>
hunk ./src/Igor2/UI/Help.hs 112
-    indent 3 (fillwords $ "Start Igor2 with one or more target functions to " ++
-                          "generalise and optional functions as background " ++
-                          "knowledge. <tgts> and <bgks> are list of names " ++
-                          "in scope separated by commas.") <$$> linebreak <>
+    indent 3 (fillwords $ "Start Igor2 with one or more target functions to \
+                          \generalise and optional functions as background \
+                          \knowledge. <tgts> and <bgks> are list of names in \
+                          \scope separated by commas.") <$$> 
+    linebreak <>
hunk ./src/Igor2/UI/Help.hs 118
-    indent 3 (fillwords $ "Test a previously generalised program. If there " ++
-                          "were multiple hypotheses, <i> is the one you " ++
-                          "want to test. If it is ommitted, all are tested. "++
-                          "Please not, that you have to exactly repeat the " ++
-                          "names of target functions and backgroud " ++
-                          "knowledge of the run you want to test.\n If the " ++
-                          "backgroundknowledge functions have already been " ++
-                          "synthesised, their results are taken from the " ++
-                          "history, other wise the I/O examples of them are " ++
-                          "used. Note, that this may cause the interpreter to " ++
-                          "with \" Non-exhaustive patterns\"-errors. If the " ++
-                          "background functions had multiple results, all " ++ 
-                          "combinatins are tested.")<$$> linebreak 
+    indent 3 (fillwords $ "Test a previously generalised program. If there \
+                          \were multiple hypotheses, <i> is the one you want \
+                          \to test. If it is ommitted, all are tested. Please \
+                          \note, that you have to exactly repeat the names of \
+                          \target functions and backgroud knowledge of the run \
+                          \you want to test.\n If the backgroundknowledge \
+                          \functions have already been synthesised, their \
+                          \results are taken from the history, other wise the \
+                          \I/O examples of them are used. Note, that this may \
+                          \cause the interpreter to with \" Non-exhaustive \
+                          \patterns\"-errors. If the background functions had \
+                          \multiple results, all combinations are tested.")<$$> 
+    linebreak 