Starting with inventory:
0000001467-362416420ba8ed9e35bb9363cda6c5132c2a19a6e8d9352a92f4f3d10e5caa0a
[TAG 0.5.1 (running UI, but not linked with synthesis yet)
martin.hofmann@uni-bamberg.de**20090403102355] 
hash: 0000000902-ca5926740055da257cda11bedf406620cd922c034be6dad432bbc70429ca6e2a
[code cosmetics and type signatures
martin.hofmann@uni-bamberg.de**20090403120048] 
hash: 0000002750-7c016c275f200e87c595be8e2b9a999e184a329b82835aaa6658e9d173e1e423
[Restructuring Syntax
martin.hofmann@uni-bamberg.de**20090406145839
 Syntax.Class -> Syntax.Terms
 Syntax.Expressions from Syntax.Class
 Syntax.Patterns from Syntax.Class
 Syntax.Substitution from Syntax.Class
 
] 
hash: 0000032746-3d3954096246ec52e67d74b3188257889211234fe103c59bcc1dcfbad13d1057
[record for Context extended, pretty printing implemented
martin.hofmann@uni-bamberg.de**20090406150414] 
hash: 0000003976-30b2bc73a36ceb51036d5dcac61853fa85831b4a88969463d228faedf42fe30a
[various, code cosmetics, import fixes, helper funs
martin.hofmann@uni-bamberg.de**20090406150547] 
hash: 0000002160-4cf560756b79c7e807a66cbc90e8cc523803f0646b78f5a54190d5143b6781d3
[TPat and TExp defined, construction of the implemented, context building, error handling
martin.hofmann@uni-bamberg.de**20090408144734] 
hash: 0000031806-62bacda8a3433eda9b5e91b792b7b695c96f5ad166d855870b02c27249770ebe
[Forgot to add RuleDevelopment/* !!!
martin.hofmann@uni-bamberg.de**20090408145420] 
hash: 0000004465-61d9a6a32530813568fba65ee1982940525089fc6dc77d09cf2cfc415fa1afc1
[Tidied up Class Term, removed some funs from member functions and defined them in terms of the remaining ones
martin.hofmann@uni-bamberg.de**20090409120432] 
hash: 0000014617-091a8e253be11e59c301e83db8475b0f6fe4e051823641a6bfd2b67ce106aeab
[removed Syntax/Substitution.hs moved its content to Syntax/Terms.hs
martin.hofmann@uni-bamberg.de**20090409140821] 
hash: 0000002636-cb6445194929d1be402279c12411d787212d602994c3223a0dd239d98a15cad7
[removed boilerplate code when pattern matching Tuples and Lists and ther ConX equivalents
martin.hofmann@uni-bamberg.de**20090409141021] 
hash: 0000017720-5e193c4f89ec57eeb2083d12226d4981253aff90b2c5571425e805c08c02140c
[What is the patch name? fixed a pretty printing bug in TExp, renamed class TypeTag to Typed, made tPat instance of Typed
martin.hofmann@uni-bamberg.de**20090414102024] 
hash: 0000002132-541f1ecf7f8a4578569166676e3cb1736d84922c1cee1c41591b5db429f5a4e9
[move class Substitution to Terms, made Type instance of Term
martin.hofmann@uni-bamberg.de**20090414102104] 
hash: 0000001400-eff335308e061ad5546038264b9a37a8714c06346f018f7b846cc4840012c7e5
[included package haskell-src-meta into source tree
martin.hofmann@uni-bamberg.de**20090414105146] 
hash: 0000043962-8d97f7c4d47490e61931a6f9bde245dadf68469288b4ab919c98841137242788
[Implemeted specialising types when translating and added an type checker via IO to GHC API
martin.hofmann@uni-bamberg.de**20090414110857] 
hash: 0000005693-d6cd5445ed55dbc8f1985f1038575c96264768e3dddb8f2bf6eea4d28b341a54
[TExp is now instamce of Substitutable, Unifieable, Term, Antiunifieable (plus a lot of reorganising modules)
martin.hofmann@uni-bamberg.de**20090415145937] 
hash: 0000129329-c7bca94ac8a435430f36e28c98a84b52e296ea8e4edf441fb4c16075c5ecd21c
[made an separate package for Context and ContextBuilder
martin.hofmann@uni-bamberg.de**20090416123824
 The motivation was primarily to break cyclic module dependencies when using the SynthesisContext (storing type and type class information) for matching and unification. This is relevant, when the polymorphic types for Igor are required. 
] 
hash: 0000020745-1cb17a570f1b082b4be8ff139f1327f3070b85649c91bf759a6df0802e6af3e3
[made an interface for all TemplateHaskell stuff I use
martin.hofmann@uni-bamberg.de**20090416124807] 
hash: 0000002859-655274dd7f03dd8a2066af31f216cc7d8278435aa6f87a0bae152da971fa068d
[TPat, Type, TExp are now Terms, Unifieable, Antiunifieable, Substitutable
martin.hofmann@uni-bamberg.de**20090416125906] 
hash: 0000051337-10558daca2567c3644810e9864d21a337eb22def9009776bd54b796972ffce25
[addendum to SynthesisContext, organised imports
martin.hofmann@uni-bamberg.de**20090416130004] 
hash: 0000000205-bb103b8914d69e2381b202b73e3c66eac7b458abeaf1a89a6f872bcdcdc1222b
[nicer function for loading a file
martin.hofmann@uni-bamberg.de**20090416130138] 
hash: 0000001285-4fb0d4e2cca06d01ce2b952111f3c8296fc8162bcb7e5aa25c47cb4b5d5763fb
[typos
martin.hofmann@uni-bamberg.de**20090416130338] 
hash: 0000000354-2b1fd5f6b377cf3ff834d07d2d2593c3489fb372a161b952e2bcdbd63dd5fac9
