[comments, version number for new tag changed
martin.hofmann@uni-bamberg.de**20090421102031] hunk ./src/Logging/Logger.hs 44
+-- if set, all ogging is directly dumped to stdout via 'trace'
+_DEBUG = False
hunk ./src/Logging/Logger.hs 160
-_DEBUG = False
-
hunk ./src/UI/UIStarter.hs 27
-version = "v0.5.3"
+version = "v0.5.4"