[tpos in manual
martin.hofmann@uni-bamberg.de**20101012131637] hunk ./src/Igor2/UI/Help.hs 10
-verboseHelp = 
+verboseHelp =  
+    bold (text "Example Igor2 session:") <$$>
+    bold (text "==========================================") <$$>
+    linebreak <>
+    fillwords ("A typical Igor2 session would be as follows:") <$$>
+    linebreak <>
+    indent 10 (fillwords "IgorII > :load expl/Examples.hs")<$$>
+    indent 10 (fillwords "File loaded in 1.0201s")<$$>
+    indent 10 (fillwords "IgorII > :s +enhanced; :s +simplify")<$$>
+    indent 10 (fillwords "IgorII > :g lasT")<$$>
+    linebreak <>
+    indent 10 (fillwords "      - - - - START SYNTHESIS WITH - - - -")<$$>
+    indent 10 (fillwords "")<$$>
+    indent 10 (fillwords "Targets              'lasT'")<$$>
+    indent 10 (fillwords "Background           <none>")<$$>
+    indent 10 (fillwords "Simplified           True")<$$>
+    indent 10 (fillwords "Greedy rule-splitting False")<$$>
+    indent 10 (fillwords "Enhanced             True")<$$>
+    indent 10 (fillwords "Use paramorphisms    False")<$$>
+    indent 10 (fillwords "Compare rec args     AWise")<$$>
+    indent 10 (fillwords "DumpLog              False")<$$>
+    indent 10 (fillwords "Debug                False")<$$>
+    indent 10 (fillwords "Maximal tiers        0")<$$>
+    indent 10 (fillwords "Maximal loops        -1")<$$>
+    linebreak <>
+    indent 10 (fillwords "      - - - - - - - FINISHED - - - - - - -")<$$> 
+    linebreak <>
+    indent 10 (fillwords "")<$$>
+    indent 10 (fillwords "             lasT         in 2     loops")<$$>
+    indent 10 (fillwords "            CPU: 0.0080s")<$$>
+    indent 10 (fillwords "             ")<$$>
+    linebreak <>
+    indent 10 (fillwords "                 HYPOTHESIS 1 of 1")<$$>
+    linebreak <>
+    indent 10 (fillwords "lasT [a0] = a0")<$$>
+    indent 10 (fillwords "lasT (_ : (a1 : a2)) = lasT (a1 : a2)")<$$>
+    linebreak <>
+    indent 10 (fillwords "IgorII > :quit")<$$>
+    indent 10 (fillwords "Bye.")<$$>
+    linebreak <>
hunk ./src/Igor2/UI/Help.hs 60
-               \an example see the batch file 'expl/batch.txt'") <$$> 
+               \an example see the batch file 'expl/batch.txt'") <$$>
hunk ./src/Igor2/UI/Help.hs 78
-                          \in this module. Imports are not supported, yet.")<$$>
+                          \in this module. Imports are not supported, yet. \
+                          \Note that the path is not expanded, so avoid \ 
+                          \'~' for your home directory. Relativ paths do work, \
+                          \ however use absolute paths to be on the safe \
+                          \side.")<$$>
hunk ./src/Igor2/UI/Help.hs 89
-    indent 3 (fillwords $"Run all commands in the batch file until EOF, on \
-                         \command is not exectuable, or ':quit'.") <$$> 
+    indent 3 (fillwords $"Run all commands in the batch file until EOF, or \
+                         \command is not exectuable, or ':quit'. Note that the \
+                         \path is not expanded, so avoid '~'.") <$$> 
hunk ./src/Igor2/UI/Help.hs 144
-                                \N>0 all unfinished hypotheses which aree as \  
-                                \the current best are tried to finish if they \
-                                \do not deteriorate. Thus, the N-best \
+                                \N>0 all unfinished hypotheses which are as \  
+                                \good as the current best are tried to finish \
+                                \if they do not deteriorate. Thus, the N-best \
hunk ./src/Igor2/UI/Help.hs 189
-                          \you want to test.\n If the backgroundknowledge \
+                          \you want to test.\n If the background knowledge \
hunk ./src/Igor2/UI/Help.hs 193
-                          \cause the interpreter to with \" Non-exhaustive \
+                          \cause the interpreter to end with \" Non-exhaustive \