[minor changes, layout and logging
martin.hofmann@uni-bamberg.de**20100617132042] hunk ./src/Igor2/Config.hs 98
-                if (not . scr_debug $ c) then linebreak
-                  else fill 20 (text "Maximal tiers") <+> integer (scr_maxTiers c) <$>                   
-                       fill 20 (text "Maximal loops") <+> integer (scr_maxLoops c) <>
-                       linebreak )     
+                fill 20 (text "Maximal tiers") <+> integer (scr_maxTiers c) <$>                   
+                fill 20 (text "Maximal loops") <+> integer (scr_maxLoops c) <>
+                linebreak )     
hunk ./src/Igor2/RuleDevelopment.hs 20
-advanceRule :: Hypo -> CovrRule -> IM Hypos
+advanceRule :: t Hypo -> CovrRule -> IM Hypos
hunk ./src/Igor2/RuleDevelopment.hs 22
-
-    llogNO $ linebreak <> text "Advancing" <^> pretty r <$> 
+  
+  llogNO $ linebreak <> text "Advancing" <^> pretty r <$> 
hunk ./src/Igor2/RuleDevelopment.hs 25
-             
-    (fs,ns,ms,ps,cs) <- compSucs h r
-     
-    fhs <- liftM rights $ developAll r h fs
-    nhs <- liftM rights $ developAll r h ns 
-    mhs <- liftM rights $ developAll r h ms 
-    phs <- liftM rights $ developAll r h ps   
-    chs <- liftM rights $ developAll r h cs
-    let all = concat $ [fhs, nhs, mhs, phs, chs]
-    waypointS $ text "Summary"    
-    llogNO $ linebreak <>
-             text "Advancing" <^> pretty r <$> 
+
+  (fs,ns,ms,ps,cs) <- compSucs h r
+                      
+  fhs <- liftM rights $ developAll r h fs
+  nhs <- liftM rights $ developAll r h ns 
+  mhs <- liftM rights $ developAll r h ms 
+  phs <- liftM rights $ developAll r h ps   
+  chs <- liftM rights $ developAll r h cs
+  let all = concat $ [fhs, nhs, mhs, phs, chs]
+  waypointS $ text "Summary"    
+  llogNO $ linebreak <>
+           text "Advancing" <^> pretty r <$> 