[TAG 0.5.4 (now it should be atmost as buggy as it was before adding types)
martin.hofmann@uni-bamberg.de**20090421102231] 
<
[comments, version number for new tag changed
martin.hofmann@uni-bamberg.de**20090421102031] 
[exception handling, prettier printing, timing, some options(colWidth, dumpDir, dumpLog)
martin.hofmann@uni-bamberg.de**20090421101722] 
[Bugfix in Expressions, problems when unifying ragged lists in TExp
martin.hofmann@uni-bamberg.de**20090421095922] 
[prettier printing
martin.hofmann@uni-bamberg.de**20090421095757] 
[BugFix in Terms.MapGetPos
martin.hofmann@uni-bamberg.de**20090421095415] 
[TAG 0.5.3 (now using typed terms, definitely buggy)
martin.hofmann@uni-bamberg.de**20090417104533] 
>