Implement statistics gathering in GUI
commit7b1e0a6a1299a83775efe2be05d2226f2f374ba3
authorBertram Felgenhauer <int-e@gmx.de>
Wed, 14 May 2008 22:11:57 +0000 (15 00:11 +0200)
committerBertram Felgenhauer <int-e@gmx.de>
Wed, 14 May 2008 22:11:57 +0000 (15 00:11 +0200)
treecb7d0dc2bd3c0d4276386bf3e88372c65e599830
parenta22ed31de46686ceddaac71c92b8d7e587b17de9
Implement statistics gathering in GUI
mine.cabal
src/Main.hs
src/UI.hs