[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] 
<
[changed dependencies
martin.hofmann@uni-bamberg.de**20091210103434] 
[versioning
martin.hofmann@uni-bamberg.de**20091210075946] 
[BUGFIX: tInfixE constructed wrong type when making sections
martin.hofmann@uni-bamberg.de**20091210075547] 
[removed obsolete imports
martin.hofmann@uni-bamberg.de**20091210075511] 
[Forgot to add Syntax.Name
martin.hofmann@uni-bamberg.de**20091210075255] 
[reorganised pretty printing
martin.hofmann@uni-bamberg.de**20091210074858] 
[minor changes, obsolete imports, ppr, format
martin.hofmann@uni-bamberg.de**20091210074418] 
[ctx_ctors stores Typename/Ctornames, ctx_types stores all types, both of funs and ctors
martin.hofmann@uni-bamberg.de**20091210074309] 
[BUGFIX: stop at maxLoops in debug-mode was not implemented properly
martin.hofmann@uni-bamberg.de**20091210073321] 
[minor simplifcation
martin.hofmann@uni-bamberg.de**20091210073249] 
[applyD, monadic ops using context
martin.hofmann@uni-bamberg.de**20091210073148] 
[using haskeline for REPL, allows Ctrl-C for interruption
martin.hofmann@uni-bamberg.de**20091210072813] 
[Changed pretty printing of Hypos, TH.Dec only used in Ppr as ntermediate data type
martin.hofmann@uni-bamberg.de**20091210072458] 
[cleaned dependencies
martin.hofmann@uni-bamberg.de**20091210071713] 
[ unsing now haskell-src-exts
martin.hofmann@uni-bamberg.de**20091203151925] 
[exports
martin.hofmann@uni-bamberg.de**20091203140240] 
[examples
martin.hofmann@uni-bamberg.de**20091203140218] 
[examples
martin.hofmann@uni-bamberg.de**20091201103416] 
[minor chnges, imports, code cleaning
martin.hofmann@uni-bamberg.de**20091201103341] 
[RuleDevelopment applies Context
martin.hofmann@uni-bamberg.de**20091201103315] 
[Context uses ErrorMonad
martin.hofmann@uni-bamberg.de**20091201103255] 
[developH may fail inside the C Monad
martin.hofmann@uni-bamberg.de**20091201103135] 
[apply a Context to a function in the C monad insied the IgorMonad
martin.hofmann@uni-bamberg.de**20091201102954] 
[small fix in pretty printing Patterns
martin.hofmann@uni-bamberg.de**20091201102910] 
[completely reorganised the module structure
martin.hofmann@uni-bamberg.de**20091127143429] 
[removed dead code
martin.hofmann@uni-bamberg.de**20091126143324] 
[rating of a hypo is a separate record field
martin.hofmann@uni-bamberg.de**20091126143130] 
[cleanup removed dead code
martin.hofmann@uni-bamberg.de**20091126104234] 
[restructuring the Syntax package, implementation of polymorphic matching, hacked application to rest of prog
martin.hofmann@uni-bamberg.de**20091126102828] 
[TAG 0.5.9.6b (just before polymorphic matching)
martin.hofmann@uni-bamberg.de**20091126102650] 
>