Starting with inventory:
0000005196-36537901b62b547a22aad94cfc1dba90f425bfc9683d527ad918d14c679cc47f
[TAG 0.6.0.0 (ad-hoc polymorphic support, restructured Syntax, using haskeline, using haskell-src-exts, using context)
martin.hofmann@uni-bamberg.de**20091210120405] 
hash: 0000002805-22a734d888126de396112346a369c8ba46af5d29310d83bfcf40735bc012ef07
[First implemementation of generic catamorphisms
martin.hofmann@uni-bamberg.de**20091211151209] 
hash: 0000008484-ab83192fcad95e53ddf890057c046519e6409ce8dfb3eb409c6841f1d2c774a9
[t step towards cata application on any argument (faulty)
martin.hofmann@uni-bamberg.de**20091216095214] 
hash: 0000006189-8754392442cb3ad295e328671b52e59305b4d293e9a1af229ef9a8d7dca0aabe
[introduce pattern wildcards in output
martin.hofmann@uni-bamberg.de**20091216095341] 
hash: 0000002099-1be41ef74294bd8da94f3c65fd8f27097d861f29204c39b781e80c906b659e14
[generic cata applies to any argument
martin.hofmann@uni-bamberg.de**20091216150845] 
hash: 0000003574-623088609aeda458bbbc2266daf2238280e14af46ee18f568796d2361691b9c5
[removed Abduce.hs
martin.hofmann@uni-bamberg.de**20091217095939] 
hash: 0000000265-05087052f0d2b51c6ca58162d1c01e8729269aa132648d4f1c529f7b83e2e1ad
[list cata applies to any argument, list cata only applies iff gen cata does not apply
martin.hofmann@uni-bamberg.de**20091217100032] 
hash: 0000010610-8692d982e337895ceee808e5aa1a41a385a14204c442c0209770f7df2fc5f9f4
[BUGFIX: called genericCata twice
martin.hofmann@uni-bamberg.de**20091217104945] 
hash: 0000001014-06cbd2d4c921dadc0533fd22856e89ee6c2b59d0625dfbaca212fded7d3bc5ab
[replace Maybe inside Monads be ErrorMonad and catchError
martin.hofmann@uni-bamberg.de**20091217151048] 
hash: 0000008901-cfb80eaca702b120e360d727c28acbe56205a82487f2b1129dea276ba913f1d3
[code cleaning and logging
martin.hofmann@uni-bamberg.de**20091217151331] 
hash: 0000002599-86307521a5b19534425a10953ee98e19ca163d0c9fa7609055edcd8b9bf1ad94
[more readable error output
martin.hofmann@uni-bamberg.de**20091218091042] 
hash: 0000001432-ce13d5e2c04ff578b636371715052eee064dcc11d4862fe7cae802a2d94541d1
[BUGFIX: generic cata detection overly general
martin.hofmann@uni-bamberg.de**20091218093252] 
hash: 0000000265-17440baacb66e5ceb7f74e73ca668dc35f069f37d09c22118ee785c64dd322c8
[BUGFIX: checkin cata property, evalIO, incorrect order of args
martin.hofmann@uni-bamberg.de**20091218142458] 
hash: 0000001006-cec448733c6daa7859c942c99410d055bdb2c0b0a95610313da549812db995bf
[commented dead code
martin.hofmann@uni-bamberg.de**20100104103753] 
hash: 0000002066-bed62000053c3a3a86bd306bb897bf1bdf853ea90423ba07c74b92aaecfaa0c5
[BUGFIX: map, filter, foldr didn't work when applied to a specific argument index
martin.hofmann@uni-bamberg.de**20100104103928] 
hash: 0000008334-adc28756c82f86571aedd34a674fe61473a7b289b28916fd68a9f8d25f85b728
[BUGFIX: wrong order for llg of rules caused trouble with EQVs
martin.hofmann@uni-bamberg.de**20100104142643] 
hash: 0000001148-014c2e41591c924f53cf9a3afe25a2ac6349fd35e63d581c013eb9e1dccdbc2b
[trivia and trace removed
martin.hofmann@uni-bamberg.de**20100104142735] 
hash: 0000000411-9d35d403576c78b9cf54097dcebf4aea16beaf1360b66c034ca5ec3f5203b1df
[BUGFIX: foldr had too many arguments in fun call after optimising arguments
martin.hofmann@uni-bamberg.de**20100104171006] 
hash: 0000001564-d5b373cff3ab2e605b075d5a7e3ef4fed74a899c457158b0055241b57a883253
[Improved Heuristic!!
martin.hofmann@uni-bamberg.de**20100105140159] 
hash: 0000000545-22e26e6f80612f042ff5118397d2e0f75c4f3821cc0292061b65c093d370540c
[BUGFIXES: generic cata anduced non-functional ios, list cata was not applied when gen cata failed
martin.hofmann@uni-bamberg.de**20100105140221] 
hash: 0000002907-4420de5042a2bb89b870ada3a5b5abbb5761628e58e14296b0cf073eea0033ea
[user info when searchspace exhausted
martin.hofmann@uni-bamberg.de**20100105140453] 
hash: 0000000414-2d3f3d9311b90c55639c2f60b12b963f027f5fd4d40fab75b49444fed2f3ae97
[TODO updated
martin.hofmann@uni-bamberg.de**20100105140829] 
hash: 0000000416-9e2a94bc2f08116017859aca2abf5ecbad1ef3730a9c3eaa97a237b0a7eae3ae
[comment added
martin.hofmann@uni-bamberg.de**20100107112143] 
hash: 0000000302-b6ad5a08245828d2539672b0b84f194aa86d2c0e4cb8072ba294e743bf86624e
[comments
martin.hofmann@uni-bamberg.de**20100107123855] 
hash: 0000000392-09e22a2bf9e8110e305f671a57f6fca050df5256ce9e5cae7a62c24bb2378b8f
[modify heuristic (use numTotalRules)
martin.hofmann@uni-bamberg.de**20100107130211] 
hash: 0000000231-f0b8fbb514530981d723cb4c05b79bc743d4b780501fb83c1d2ed9f3189f78fb
[versioning
martin.hofmann@uni-bamberg.de**20100107153639] 
hash: 0000000195-b5af04bd9a6b8c885d35101e8e10c041a845e8a973357b2ce4ed29b9445e66c4
