Starting with inventory:
0000000881-ec9e437275ddeee6d0c1b923094955dbe08d8e151561720467e60e449c5a4fc1
[TAG 0.5.3 (now using typed terms, definitely buggy)
martin.hofmann@uni-bamberg.de**20090417104533] 
hash: 0000000556-23de56272a289aaa069dbd5143bd74c341d60f3574a58a1a06fea359d9dfda79
[BugFix in Terms.MapGetPos
martin.hofmann@uni-bamberg.de**20090421095415] 
hash: 0000000374-ed7821683c727752f2d14e9d87c7740b2cb8b94e8978b6777cb053686d986b5c
[prettier printing
martin.hofmann@uni-bamberg.de**20090421095757] 
hash: 0000002237-f87e8585e76885b659a34d0fa0d87d724e3e6a847365c86398a3c92b9b2d80fa
[Bugfix in Expressions, problems when unifying ragged lists in TExp
martin.hofmann@uni-bamberg.de**20090421095922] 
hash: 0000002994-69ab1793799f444788a2f8dafad91580ada0e7c66c364a18e14bdfd7f5da0ac0
[exception handling, prettier printing, timing, some options(colWidth, dumpDir, dumpLog)
martin.hofmann@uni-bamberg.de**20090421101722] 
hash: 0000011632-1edf171ab24afc6023be60eed76d30e3a6951565b5aa17358f3071c684f6f80d
[comments, version number for new tag changed
martin.hofmann@uni-bamberg.de**20090421102031] 
hash: 0000000325-93bad4f581aa47199c7ff3a3f758bf9a5d4e9080dce9b58f204c550146410f31
