[defaults changed
martin.hofmann@uni-bamberg.de**20090911130743] hunk ./src/Data/GlobalConfig.hs 39
-defaultSCR = SCR False False False False False NOTICE (-1) Linear [] [] defaultPredicates ""
+defaultSCR = SCR False False False False False DEBUG (-1) Linear [] [] defaultPredicates ""
hunk ./src/UI/UIStarter.hs 86
-    , verbosity = NOTICE
+    , verbosity = DEBUG