Starting with inventory:
0000001756-7d2d6b4804441866c506ff587a35e5363562648fc64854794585766608a3521c
[TAG 0.7.1.0 (some bugfixes)
martin.hofmann@uni-bamberg.de**20100108085944] 
hash: 0000000997-eea6a0d930fcc28439947f997151d4a481471dd87286518d8cf4bbcd4921ebac
[logging
martin.hofmann@uni-bamberg.de**20100108124029] 
hash: 0000000227-026ec7c127f37ab979edd774b9476d90cc71d47090d44714c57f9b9c02b931a3
[BUGFIX: Polymorphism caused too many matchings
martin.hofmann@uni-bamberg.de**20100111084606
 Functions as 'last' caused too many matchings due to polymorphic variables on rhs. Allow only direct matching for those functions.
] 
hash: 0000001260-e49f61f587c597ef330d0caad94a6dc08bcc43a47fbc13b5882f3769ee8c83ea
[versioning
martin.hofmann@uni-bamberg.de**20100113080712] 
hash: 0000000195-7bded4f8285c5e7a37a0a6ea4b417580f7e52a3a0a930c8fadfa75b16622f492
