[TAG 0.5.8.1 (build system, Readme, License, Examples)
martin.hofmann@uni-bamberg.de**20090518170414] 
<
[README, code cosmetics, typos ...
martin.hofmann@uni-bamberg.de**20090518170137] 
[quickstart script added
martin.hofmann@uni-bamberg.de**20090518095542] 
[prettier printing
martin.hofmann@uni-bamberg.de**20090518095328] 
[License added
martin.hofmann@uni-bamberg.de**20090518093556] 
[README and examples
martin.hofmann@uni-bamberg.de**20090518075820] 
[working on build system
martin.hofmann@uni-bamberg.de**20090518074832] 
[cabalised
martin.hofmann@uni-bamberg.de**20090515135107] 
[Bugfixes and code cosmetics
martin.hofmann@uni-bamberg.de**20090514143022
 BUGFIX Antiunifier: modified checkforAntoInstance s.t. no wildcards remain in a rule, but are bound by some pattern
 BUGFIX Hypo rating: count rules was erroneous
 BUGFIX show CallDep is not "" when empty
] 
[use 'hint' hint for typechecking
martin.hofmann@uni-bamberg.de**20090514111947] 
[TAG  0.5.8 (less bugs, testing functionality, batch, interactive, and command-line mode)
martin.hofmann@uni-bamberg.de**20090514094156] 
>