[help text updated
martin.hofmann@uni-bamberg.de**20100810115101] hunk ./src/Igor2/UI/Help.hs 63
+    indent 5 (fill 20 (text "+typeCheck") <> 
+              align (fillwords "force typecheck of specification [default]")) <$$>
+    indent 5 (fill 20 (text "-tyepcheck") <> 
+              align (fillwords "accepts _ANY_ specification, (use at own risk)")) <$$>
+    indent 5 (fill 20 (text "+greedySplt") <> 
+              align (fillwords "Split rules greedily, i.e. split one rule at all possible pivot positions. Results in one successor with many patterns")) <$$>
+    indent 5 (fill 20 (text "-greedySplt") <> 
+              align (fillwords "Split at only one pivot position per rule, but make one split for each pivor position, results in multiple successor hypotheses with different patterns. [default]")) <$$>
+    indent 5 (fill 20 (text "+enhanced") <> 
+              align (fillwords "Enhanced mode, using type morphisms as program schemes")) <$$>
+    indent 5 (fill 20 (text "-enhanced") <> 
+              align (fillwords "normal mode, no morphisms [default]")) <$$>
+    indent 5 (fill 20 (text "+para") <> 
+              align (fillwords "if in enhanced mode, use paramorphisms instead of catamorphisms")) <$$>
+    indent 5 (fill 20 (text "-para") <> 
+              align (fillwords "use catamorphisms [default]")) <$$>
hunk ./src/Igor2/UI/Help.hs 110
-    indent 5 (fill 20 (text "recArgCmp=<mode>") <> 
-              align (fillwords ("to ensure termination of the final program, \
+    indent 5 (fill 20 (text "redOrder=<mode>") <> 
+              align (fillwords ("Sets the reduction Order to ensure \
+                                \termination of the final program, \