[TAG 0.5.8.2 (compare recursive args, take options into Igor Monad, more options, verbose Help)
martin.hofmann@uni-bamberg.de**20090520144747] 
<
[verbose Help
martin.hofmann@uni-bamberg.de**20090520144559] 
[added some data files
martin.hofmann@uni-bamberg.de**20090520121425] 
[new example lasts
martin.hofmann@uni-bamberg.de**20090520115947] 
[simplfy result, fold constant rules into call, simplify as a new option flag
martin.hofmann@uni-bamberg.de**20090520115758] 
[BUGFIXE: equality on TAppE, root on TAppE, root on TListE
martin.hofmann@uni-bamberg.de**20090520115620] 
[versioning
martin.hofmann@uni-bamberg.de**20090519141658] 
[fancier output
martin.hofmann@uni-bamberg.de**20090519141123] 
[changed version in cabal, forgot to add GlobalConfig
martin.hofmann@uni-bamberg.de**20090519133101] 
[linear and pairwise comparison of ctor symbols in arguments for matching, pass UI settings to Igor
martin.hofmann@uni-bamberg.de**20090519132811] 
[option 'dumpLog' has been ignored, and log was always dumped
martin.hofmann@uni-bamberg.de**20090519082611] 
[compare the number of ctor symbols when matching to get calling relation
martin.hofmann@uni-bamberg.de**20090519081910] 
[TAG 0.5.8.1 (build system, Readme, License, Examples)
martin.hofmann@uni-bamberg.de**20090518170414] 
>