Starting with inventory:
0000001940-7de5c16087fb07fd2e50640611278fd0b5a14b6005a2135915d781619c37edd5
[TAG 0.5.9.6b (just before polymorphic matching)
martin.hofmann@uni-bamberg.de**20091126102650] 
hash: 0000001201-51d18d5d7be0e30392307e271a41393dc481bc7d2f714ffe7ea885cb256507b6
[restructuring the Syntax package, implementation of polymorphic matching, hacked application to rest of prog
martin.hofmann@uni-bamberg.de**20091126102828] 
hash: 0000226091-cda0fd43ddac514cef7d13965e18feb77e2458f552935eb90d5e7b24f59ce1a7
[cleanup removed dead code
martin.hofmann@uni-bamberg.de**20091126104234] 
hash: 0000004264-9a9cbe296d4ad5365bdf4ea26c2229ead46ac599c136ae1eb7dbd05e86272bb9
[rating of a hypo is a separate record field
martin.hofmann@uni-bamberg.de**20091126143130] 
hash: 0000015963-bec421a8e8972c50323b2d404a33ec206d04341d8a471b6dc411f1e6f12b2371
[removed dead code
martin.hofmann@uni-bamberg.de**20091126143324] 
hash: 0000018830-c1d7ead358b7089dea431a0809702958de5e6080937e439a8638d40e9d464787
[completely reorganised the module structure
martin.hofmann@uni-bamberg.de**20091127143429] 
hash: 0000014700-bfccb70aee9b0e1ef225d80d3ae8c6c1ca8b7793b270f43b78f0de3f5d75e3c2
[small fix in pretty printing Patterns
martin.hofmann@uni-bamberg.de**20091201102910] 
hash: 0000000510-bdd48fca542c7dbf7029c1c1076e5c856ae364cb8c3758cd270e791526c1a0dd
[apply a Context to a function in the C monad insied the IgorMonad
martin.hofmann@uni-bamberg.de**20091201102954] 
hash: 0000000672-a8e23a9d792bda5ca964faec0318727a8521fd51ecc4bd22abbd98c3a87d5269
[developH may fail inside the C Monad
martin.hofmann@uni-bamberg.de**20091201103135] 
hash: 0000001110-a33f5bba1f8c16871435404045cff0e21242a357e6748b47f4d6149620271c28
[Context uses ErrorMonad
martin.hofmann@uni-bamberg.de**20091201103255] 
hash: 0000000317-4969c705502092e5dabc1fe534e4987bafc89425abeda2211999cccd36577066
[RuleDevelopment applies Context
martin.hofmann@uni-bamberg.de**20091201103315] 
hash: 0000001040-42bb686baf831c4da2e5f5a7b9f19130517e96598b9286b2dcafd044086b36e4
[minor chnges, imports, code cleaning
martin.hofmann@uni-bamberg.de**20091201103341] 
hash: 0000001428-61ae1896aa5e0d9a21d602a31000fe347df8a91ed74b1024185202455c62fba6
[examples
martin.hofmann@uni-bamberg.de**20091201103416] 
hash: 0000003350-13c54349e8623934ee1d3943defddad5cfe7336a0b50a3cb9763f73877418988
[examples
martin.hofmann@uni-bamberg.de**20091203140218] 
hash: 0000005347-da3951f6622d1a50548572429a2d3ff3c7033ade88781c3d747e7c6efc652be7
[exports
martin.hofmann@uni-bamberg.de**20091203140240] 
hash: 0000000185-a9c35162d745fd289257dee6f22a12cfef727ac9b521ca539da6decb17328c48
[ unsing now haskell-src-exts
martin.hofmann@uni-bamberg.de**20091203151925] 
hash: 0000071552-14302312fabdfe44ad1fd27c98b94a43a119175dc803cc01f83c2484b9c7d5e4
[cleaned dependencies
martin.hofmann@uni-bamberg.de**20091210071713] 
hash: 0000001141-0ac10dbeea36a779b8f88df4336074dff745348efe5190e8f5123f16a1767015
[Changed pretty printing of Hypos, TH.Dec only used in Ppr as ntermediate data type
martin.hofmann@uni-bamberg.de**20091210072458] 
hash: 0000003290-1a7f5b327914e1e7977d713edf6e6589a79f5ca34bd8c194323d59bc27f9131d
[using haskeline for REPL, allows Ctrl-C for interruption
martin.hofmann@uni-bamberg.de**20091210072813] 
hash: 0000001488-daac102931316f1cfa48fd0b405e5cced19c1020e13dbd8b2c0a9eb75d116ba8
[applyD, monadic ops using context
martin.hofmann@uni-bamberg.de**20091210073148] 
hash: 0000000524-f08ce4b4e2cbb693c8521d91d8d453cb32196d4e08b013e04bc483a78ef7d2ba
[minor simplifcation
martin.hofmann@uni-bamberg.de**20091210073249] 
hash: 0000000635-fda0d7ef505986f5d9a040790414d1b247acfd8a7a83ea8a788dbc449dcfcb2f
[BUGFIX: stop at maxLoops in debug-mode was not implemented properly
martin.hofmann@uni-bamberg.de**20091210073321] 
hash: 0000001459-767ecfb857ad3ce7a929bba9e3cc0f097e77125906fb9483944cc282f7c3f9eb
[ctx_ctors stores Typename/Ctornames, ctx_types stores all types, both of funs and ctors
martin.hofmann@uni-bamberg.de**20091210074309] 
hash: 0000003655-0c92f49286dbd2680dc73f6df45cad33b0b07781ecd0e151c2375576434e1481
[minor changes, obsolete imports, ppr, format
martin.hofmann@uni-bamberg.de**20091210074418] 
hash: 0000001693-d9f99935393e5dd88673b86d1ad06f9181cb81a888949eed4169b3041eafe323
[reorganised pretty printing
martin.hofmann@uni-bamberg.de**20091210074858] 
hash: 0000019436-3d427b61dde7ae094ccf18233a93c38782f0283720536f0b29afb8186b703ffd
[Forgot to add Syntax.Name
martin.hofmann@uni-bamberg.de**20091210075255] 
hash: 0000000957-d7e8e1afa1695ad65960053ceec2cdfa3cc341694f2b131ba8b7b58e87bcd753
[removed obsolete imports
martin.hofmann@uni-bamberg.de**20091210075511] 
hash: 0000000229-bf26d672f31a4b30b04ad867e33ebe5f09742237d3f2a664c83698dca1e05940
[BUGFIX: tInfixE constructed wrong type when making sections
martin.hofmann@uni-bamberg.de**20091210075547] 
hash: 0000000237-ee6bd35c882e8a97d114e4ce8ce7da2945df18f80d788596308105d76a69f232
[versioning
martin.hofmann@uni-bamberg.de**20091210075946] 
hash: 0000000195-0f29b744c4e46b1cc24f5fe17e2a5879c62b87f997baa74143276cab11c22c92
[changed dependencies
martin.hofmann@uni-bamberg.de**20091210103434] 
hash: 0000000535-7281ceabf0b84bf21b3d437c3defc98dab26141da56692549e722c23791d48e7
