[code cosmetics, nicer verboseHelp output
martin.hofmann@uni-bamberg.de**20090527154410] hunk ./src/Context/ContextBuilder.hs 48
+    -- add function bindings after data decls and instance decls
hunk ./src/Context/ContextBuilder.hs 70
-        -- for a given list of ctor argument typess it creates a function type 
+        -- for a given list of ctor argument types it creates a function type 
hunk ./src/Context/ContextBuilder.hs 120
-        Left msg -> fail $ msg
+        Left msg -> fail  msg
hunk ./src/Context/ContextBuilder.hs 123
-    putStrLn $ "...Skipping GDataDecl at Defining" ++ (show sloc)
+    putStrLn $ "...Skipping GDataDecl at Defining " ++ (show sloc)
hunk ./src/Data/IOData.hs 101
-    -- Debugging
-    check n = if n == (mkName "fun1") 
-                then trace $ show (text "Fun1" <^> 
-                                 vsep (map (\r -> (pretty. lhs $ r) <+> 
-                                                   text "=" <+> (pretty.rhs $ r)) 
-                                           (S.toList rs)) <$>
-                                 pretty (rhs.unLM $ antiunifyRules (S.toList rs)))
-                else id 
hunk ./src/UI/Help.hs 2
-module UI.Help where
+module UI.Help (verboseHelp) where
hunk ./src/UI/Help.hs 7
+
hunk ./src/UI/Help.hs 10
-    linebreak <>
-    text "Explanation of Igor2's commands:" <$$>
-    text "=================================" <$$>
+    bold (text "Explanation of Igor2's commands:") <$$>
+    bold (text "==========================================") <$$>
hunk ./src/UI/Help.hs 36
+    (bText $ ":reset") <$$>
+    indent 3 (fillwords $ "Resets the current context, and sets all options " ++
+                         "to their default values.")<$$> linebreak <>
hunk ./src/UI/Help.hs 44
-    (bText $ ":reset") <$$>
-    indent 3 (fillwords $ "Resets the current context, and sets all options " ++
-                         "to their default values.")<$$> linebreak <>
-    (bText $ ":info") <$$>
-    indent 3 (fillwords $ "Shows the current context with the I/O examples " ++
-                          "of the functions in scope, if 'verbose' is on, or " ++
-                          "the number of the examples, otherwise. Furthermore, " ++
-                          "the values of all options and flag are displayed." ++
-                          "specification from the current context.") <$$> linebreak <>
-    (bText $ ":generalise <tgts> [with <bgks>]") <$$>
-    indent 3 (fillwords $ "Start Igor2 with one or more target functions to " ++
-                          "generalise and optional functions as background " ++
-                          "knowledge. <tgts> and <bgks> are names in scope " ++
-                          " separated by spaces.") <$$> linebreak <>
-    (bText $ ":test [<i>] <tgts> [with <bgks>] on \"cmd\"") <$$>
-    indent 3 (fillwords $ "Test a previously generalised program. If there " ++
-                          "were multiple hypotheses, <i> is the one you " ++
-                          "want to test. If it is ommitted, all are tested. "++
-                          "Please not, that you have to exactly repeat the " ++
-                          "names of target functions and backgroud " ++
-                          "knowledge of the run you want to test.")<$$> linebreak <>
hunk ./src/UI/Help.hs 49
-                align (fillwords "disable debug mode (default)")) <$$>
+                align (fillwords "disable debug mode [default]")) <$$>
hunk ./src/UI/Help.hs 53
-                align (fillwords "normal output (default)")) <$$>
+                align (fillwords "normal output [default]")) <$$>
hunk ./src/UI/Help.hs 57
-                align (fillwords "do not write a log file (default)")) <$$>
+                align (fillwords "do not write a log file [default]")) <$$>
hunk ./src/UI/Help.hs 60
-                           "function calls (default)"))) <$$>
+                           "function calls [default]"))) <$$>
hunk ./src/UI/Help.hs 65
-                           "(default 80)"))) <$$>
+                           "[default 80]"))) <$$>
hunk ./src/UI/Help.hs 69
-                           "(default 20)"))) <$$>
+                           "[default 20]"))) <$$>
hunk ./src/UI/Help.hs 72
-                           "dumped to (default \".\")"))) <$$>
+                           "dumped to [default \".\"]"))) <$$>
hunk ./src/UI/Help.hs 86
-    linebreak
+    (bText $ ":info") <$$>
+    indent 3 (fillwords $ "Shows the current context with the I/O examples " ++
+                          "of the functions in scope, if 'verbose' is on, or " ++
+                          "the number of the examples, otherwise. Furthermore, " ++
+                          "the values of all options and flag are displayed." ++
+                          "specification from the current context.") <$$> linebreak <>
+    (bText $ ":generalise <tgts> [with <bgks>]") <$$>
+    indent 3 (fillwords $ "Start Igor2 with one or more target functions to " ++
+                          "generalise and optional functions as background " ++
+                          "knowledge. <tgts> and <bgks> are names in scope " ++
+                          " separated by spaces.") <$$> linebreak <>
+    (bText $ ":test [<i>] <tgts> [with <bgks>] on \"cmd\"") <$$>
+    indent 3 (fillwords $ "Test a previously generalised program. If there " ++
+                          "were multiple hypotheses, <i> is the one you " ++
+                          "want to test. If it is ommitted, all are tested. "++
+                          "Please not, that you have to exactly repeat the " ++
+                          "names of target functions and backgroud " ++
+                          "knowledge of the run you want to test.")<$$> linebreak 