[TAG 0.5.2 (added types to syntax, not yet linked with main algorithm, executable)
martin.hofmann@uni-bamberg.de**20090416130702] 
<
[typos
martin.hofmann@uni-bamberg.de**20090416130338] 
[nicer function for loading a file
martin.hofmann@uni-bamberg.de**20090416130138] 
[addendum to SynthesisContext, organised imports
martin.hofmann@uni-bamberg.de**20090416130004] 
[TPat, Type, TExp are now Terms, Unifieable, Antiunifieable, Substitutable
martin.hofmann@uni-bamberg.de**20090416125906] 
[made an interface for all TemplateHaskell stuff I use
martin.hofmann@uni-bamberg.de**20090416124807] 
[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. 
] 
[TExp is now instamce of Substitutable, Unifieable, Term, Antiunifieable (plus a lot of reorganising modules)
martin.hofmann@uni-bamberg.de**20090415145937] 
[Implemeted specialising types when translating and added an type checker via IO to GHC API
martin.hofmann@uni-bamberg.de**20090414110857] 
[included package haskell-src-meta into source tree
martin.hofmann@uni-bamberg.de**20090414105146] 
[move class Substitution to Terms, made Type instance of Term
martin.hofmann@uni-bamberg.de**20090414102104] 
[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] 
[removed boilerplate code when pattern matching Tuples and Lists and ther ConX equivalents
martin.hofmann@uni-bamberg.de**20090409141021] 
[removed Syntax/Substitution.hs moved its content to Syntax/Terms.hs
martin.hofmann@uni-bamberg.de**20090409140821] 
[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] 
[Forgot to add RuleDevelopment/* !!!
martin.hofmann@uni-bamberg.de**20090408145420] 
[TPat and TExp defined, construction of the implemented, context building, error handling
martin.hofmann@uni-bamberg.de**20090408144734] 
[various, code cosmetics, import fixes, helper funs
martin.hofmann@uni-bamberg.de**20090406150547] 
[record for Context extended, pretty printing implemented
martin.hofmann@uni-bamberg.de**20090406150414] 
[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
 
] 
[code cosmetics and type signatures
martin.hofmann@uni-bamberg.de**20090403120048] 
[TAG 0.5.1 (running UI, but not linked with synthesis yet)
martin.hofmann@uni-bamberg.de**20090403102355] 
>