[versioning
martin.hofmann@uni-bamberg.de**20100315123142] hunk ./igor2.cabal 2
-version: 0.7.1.2
+version: 0.7.1.3
hunk ./src/Igor2/UI/UIStarter.hs 38
-version = "v0.7.1.2"
+version = "v0.7.1.3"