[fancier output
martin.hofmann@uni-bamberg.de**20090519141123] hunk ./src/Data/GlobalConfig.hs 25
-    pretty c = (fill 16 (text "SYNTHESISING") <+> hsep (map (squotes.pretty) (cnf_tgts c)) <$>
-                fill 16 (text "USING") <+> hsep (map (squotes.pretty) (cnf_bgks c)) <$>
-                fill 16 (text "compare rec args") <+> pretty (show.cnf_recArgComp $ c) <$>
-                fill 16 (text "debug") <+> bool (cnf_debug c) <$>                
-                fill 16 (text "maximal loops") <+> 
+    pretty c = (fill 20 (text "Targets") <+> hsep (map (squotes.pretty) (cnf_tgts c)) <$>
+                fill 20 (text "Background") <+> 
+                    (if null (cnf_bgks c) then text "<none>"
+                       else hsep (map (squotes.pretty) (cnf_bgks c))) <$>
+                fill 20 (text "Compare rec args") <+> pretty (show.cnf_recArgComp $ c) <$>
+                fill 20 (text "Debug") <+> bool (cnf_debug c) <$>                
+                fill 20 (text "Maximal loops") <+> 
hunk ./src/UI/UIStarter.hs 253
-            printResult s' t res
+            printResult s' newConfig t res
hunk ./src/UI/UIStarter.hs 279
-printResult :: EnvState -> String -> (Either String [[Dec]],Log) -> IO()
-printResult s t (r,l) = do 
+printResult :: EnvState -> Config -> String -> (Either String [[Dec]],Log) -> IO()
+printResult s c t (r,l) = do 
hunk ./src/UI/UIStarter.hs 282
-    let doc = logToDoc w l
-    let elt = text t
hunk ./src/UI/UIStarter.hs 283
-    hPutDoc stdout $ linebreak <> res
-    printToFile s $ doc <$$> res
+    hPutDoc stdout $ introBanner <$$> pretty c <$$> outroBanner <$$> res
+    writeToFile s  $ introBanner <$$> pretty c <$$> logBanner w <$$> 
+                     pretty l <$$> resBanner w <$$> outroBanner <$$> res -- <$$> text t
hunk ./src/UI/UIStarter.hs 287
-printToFile :: EnvState -> Doc -> IO ()
-printToFile s d = do
+writeToFile :: EnvState -> Doc -> IO ()
+writeToFile s d = do
hunk ./src/UI/UIStarter.hs 301
-              
-logToDoc :: Int -> Log -> Doc
-logToDoc w l = frame w "Log  Log  Log  Log  Log  Log" <$> pretty l
-
+ 
+logBanner w = frame w "Log  Log  Log  Log  Log  Log"
+resBanner w = frame w "Results  Results  Results  Results"
+introBanner = linebreak <> 
+              indent 6 (bold (text "- - - - START SYNTHESIS WITH" <+> 
+                              text "- - - -")) <> linebreak
+outroBanner = linebreak <> 
+              indent 6 (bold (text "- - - - - - FINISHED WITH" <+> 
+                              text "- - - - -"))
hunk ./src/UI/UIStarter.hs 315
-    return $ frame w "Results  Results  Results  Results" <$$> docs
+    return docs
hunk ./src/UI/UIStarter.hs 320
-                         indent 6 (bold (text "- - - - - HYPOTHESE" <+> int i <+> 
-                                   text "of" <+> int j <+> text "- - - - -")) <$$>
+                         indent 17 (bold (text "HYPOTHESE" <+> int i <+> 
+                                   text "of" <+> int j)) <$$>