[trivia
martin.hofmann@uni-bamberg.de**20091008092848] hunk ./src/Data/Rules.hs 68
-    show r = (showp . lhs $ r) ++ " = " ++ (showp . rhs $ r)
+    show r = (show . lhs $ r) ++ " = " ++ (show . rhs $ r)
hunk ./src/UI/UIStarter.hs 312
-    writeLog = do date    <- showDate
-                  file    <- return ((dumpDir s) ++ "/" ++ date ++ ".log")
+    writeLog = do name    <- showDate
+                  file    <- return ((dumpDir s) ++ "/" ++ name ++ ".log")