[formatting
martin.hofmann@uni-bamberg.de**20100803130320] hunk ./src/Igor2/RuleDevelopment.hs 36
-           text "Advancing" <^> pretty r <$> 
-             text "of" <+> pretty h <$> text "resulted in" <+> 
-             int (length all) <+> text "new hypotheses." <> linebreak <$> 
-             text "OP1a: FOLD" <^> text "Advancements:" <$> pretty fs <^>
-             text "Hypotheses  :" <$> pretty fhs <$>
-             text "OP1b: NAIVE_MAP" <^> text "Advancements:" <$> pretty ns <^>
-             text "Hypotheses  :" <$> pretty nhs <$>
-             text "OP2: MTCH" <^> text "Advancements:" <$> pretty ms <^>
-             text "Hypotheses  :" <$> pretty mhs <$>
-             text "OP3: PART" <^> text "Advancements:" <$> pretty ps <^>
-             text "Hypotheses  :" <$> pretty phs <$>
-             text "OP4: CALL" <^> text "Advancements:" <$> pretty cs <^>
-             text "Hypotheses  :" <$> pretty chs
-    
-    return all
+                  text "Advancing" <^> pretty r <$> 
+                  text "of" <+> pretty h <$> text "resulted in" <+> 
+                  int (length all) <+> text "new hypotheses." <> linebreak <$> 
+                  text "OP1a: FOLD" <^> text "Advancements:" <$> pretty fs <^>
+                  text "Hypotheses  :" <$> pretty fhs <$>
+                  text "OP1b: NAIVE_MAP" <^> text "Advancements:" <$> pretty ns <^>
+                  text "Hypotheses  :" <$> pretty nhs <$>
+                  text "OP2: MTCH" <^> text "Advancements:" <$> pretty ms <^>
+                  text "Hypotheses  :" <$> pretty mhs <$>
+                  text "OP3: PART" <^> text "Advancements:" <$> pretty ps <^>
+                  text "Hypotheses  :" <$> pretty phs <$>
+                  text "OP4: CALL" <^> text "Advancements:" <$> pretty cs <^>
+                  text "Hypotheses  :" <$> pretty chs
+  
+  return all
hunk ./src/Igor2/UI/UIStarter.hs 73
-cmpRecArg = scr_cmpRecArg . config
+redOrder = scr_redOrder . config