[nicer output when printing help
martin.hofmann@uni-bamberg.de**20090527154214] hunk ./src/UI/UIStarter.hs 43
-displayStatic x = displayS (renderPretty 0.95 displayWidth x) ""
hunk ./src/UI/UIStarter.hs 44
+renderStatic x = renderPretty 0.95 displayWidth x
hunk ./src/UI/UIStarter.hs 46
+displayStatic x = displayIO stdout (renderStatic x)
hunk ./src/UI/UIStarter.hs 157
-    putStrLn igorLogo
+    displayStatic igorLogo
hunk ./src/UI/UIStarter.hs 161
-igorLogo :: String
-igorLogo = "\
+igorLogo :: Doc
+igorLogo = text $ "\
hunk ./src/UI/UIStarter.hs 176
-    
-helpText :: Doc
-helpText = linebreak <> text "Interactive commands (may be abbreviated):" <$> 
-           vcat (map getHelp commands)
hunk ./src/UI/UIStarter.hs 177
+-- Show the simple (non-verbose) help
hunk ./src/UI/UIStarter.hs 179
-showHelp = putStrLn.displayStatic $ helpText
+showHelp = displayStatic $ helpText
+    where
+    helpText = linebreak <> 
+               bold (text "Interactive commands (may be abbreviated):") <$$>
+               bold (text "==========================================") <$$> 
+               vcat (map getHelp commands) <$$>
+               linebreak
+
hunk ./src/UI/UIStarter.hs 362
-    [ (":help",
+    [ (":quit",
+            "Quit program.",                  return Quit)
+    , (":help",
hunk ./src/UI/UIStarter.hs 368
-    , (":batch <path/to/file>",
-            "Run a batch file",               pIdentifier Batch)
hunk ./src/UI/UIStarter.hs 372
+    , (":batch <path/to/file>",
+            "Run a batch file",               pIdentifier Batch)
+    , (":yell \"something\"",
+            "Yell on command line.",          pString Yell)
hunk ./src/UI/UIStarter.hs 378
+    , (":info",
+            "Show current settings.",         return Info)
hunk ./src/UI/UIStarter.hs 384
-    , (":info",
-            "Show current settings.",         return Info)
-    , (":yell \"something\"",
-            "Yell on command line.",          pString Yell)
-    , (":quit",
-            "Quit program.",                  return Quit)
hunk ./src/UI/UIStarter.hs 402
-    , ("simplify",           "simlify the final hypotheses",
+    , ("simplify",           "simplify the final hypotheses",