Starting with inventory:
0000001558-8f59f36d7ea5e40e1965b8e2d945e4ceb788ea8de755100a3afcfebc7e211a30
[TAG  0.5.8 (less bugs, testing functionality, batch, interactive, and command-line mode)
martin.hofmann@uni-bamberg.de**20090514094156] 
hash: 0000000942-8adb6900a4ce73beb1de74c5f4e6c4ead22d314601297f61e3f6f104a5caf976
[use 'hint' hint for typechecking
martin.hofmann@uni-bamberg.de**20090514111947] 
hash: 0000002149-53cb21c48ce45c1973942216a643d89d8bf153dc9ade63f1b64e0c3cbe71dad4
[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
] 
hash: 0000009010-78c0abef0d7608b37043b2217b6140ef7801769c760f7dd0a544749985bd99e5
[cabalised
martin.hofmann@uni-bamberg.de**20090515135107] 
hash: 0000011386-b6f18cf4d10e7d36f9ed92f56473398e9d7c04a8f1a9eb8b0e2909ed4019f3c6
[working on build system
martin.hofmann@uni-bamberg.de**20090518074832] 
hash: 0000089484-a93a7a3f4293f653ad375287e78571119c04168daf32b2b88f269cd31145f85f
[README and examples
martin.hofmann@uni-bamberg.de**20090518075820] 
hash: 0000000470-c8b5913892ebe525fc624bf82bf85bc5c3ed916b3333ae73fd50a287d5c729f4
[License added
martin.hofmann@uni-bamberg.de**20090518093556] 
hash: 0000003800-2f7d8dac95ad34447530c2bdf0fb576232fe4003d529cc17d89ddfce67f38e7c
[prettier printing
martin.hofmann@uni-bamberg.de**20090518095328] 
hash: 0000000457-11d8bfb434a24a76d1edeb6451b6a5aa985bd79403a3122719f938931cb280b8
[quickstart script added
martin.hofmann@uni-bamberg.de**20090518095542] 
hash: 0000000252-183eb1bb82706394db0223c9289c796de43ebbbb3ed55ac9cbd6e7475893bfdd
[README, code cosmetics, typos ...
martin.hofmann@uni-bamberg.de**20090518170137] 
hash: 0000004872-7526dd656c84c59b6076912216cd6b00dbb73956eb4c5bfa6c925cd00b36f367
