[updated README
martin.hofmann@uni-bamberg.de**20090525111930] hunk ./README 1
+  .___                   ._._             
+  |   | ____  ____ ._____| | |  ._       
+  |   |/ __ \/  _ \|  __ \ | | _| |__ 
+  |   / /_/  ) <_> )  | \/ | |/_   _/   
+  |___\___  /\____/|__|  |_|_|  |_|    
+     /_____/               
hunk ./README 8
+Igor2 is free to use for educational or research purpose only. So feel free to play
+with it as long as you acknowledge the LICENSE.  We would appreciate any bugs to be 
+reported to us. If you have commercial interest in one of the following programs, 
+please contact us, too.
+     
+Contact: 
+   	 martin.hofmann@uni-bamberg.de
+   	 
+With this Cabal package you should have received the following files:
+
+	 ./LICENSE				-- the license files
+     ./README               -- this readme file
+     ./quickstart           -- a shell script for the impatient
+     ./igor2.cabal          -- Cabal package description
+     ./Setup.hs             -- Cabal package installation
+     ./expl/batch.txt       -- a batch file example
+     ./expl/Examples.hs     -- some example specifications
+     ./src/                 -- the source files (see APPENDIX for a full list)
+   	 
+   	 
hunk ./README 100
+ * Igor2 is still a prototype under development, so it is quite likely, that you are 
+   the first one coming across a bug. If you think you have found a bug, please send
+   your specification file and the commands to reproduce the bug to the email address
+   mentioned in the header.
hunk ./README 109
+    
+ * Only use parentheses to clarify associativity, the infix operator ($) is not supported. 
hunk ./README 112
+ APPENDIX: List of files
+---------------------------
+ 
+     ./LICENSE
+     ./igor2.cabal
+     ./quickstart
+     ./Setup.hs
+     ./README
+     ./expl/
+     ./expl/batch.txt
+     ./expl/Examples.hs
+     ./src/
+     ./src/Logging.hs
+     ./src/Syntax.hs
+     ./src/Rating/
+     ./src/Rating/Rateable.hs
+     ./src/SynthesisEngine.hs
+     ./src/Main.hs
+     ./src/Syntax/
+     ./src/Syntax/IFTemplateHaskell.hs
+     ./src/Syntax/Antiunifier.hs
+     ./src/Syntax/Expressions.hs
+     ./src/Syntax/Unifier.hs
+     ./src/Syntax/Patterns.hs
+     ./src/Syntax/Types.hs
+     ./src/Syntax/Terms.hs
+     ./src/Data/
+     ./src/Data/IOData.hs
+     ./src/Data/Rules.hs
+     ./src/Data/CallDependencies.hs
+     ./src/Data/MySet.hs
+     ./src/Data/Util.hs
+     ./src/Data/GlobalConfig.hs
+     ./src/Data/Hypotheses.hs
+     ./src/Data/HypoSpace.hs
+     ./src/Data/IgorMonad.hs
+     ./src/RuleDevelopment/
+     ./src/RuleDevelopment/Matching.hs
+     ./src/RuleDevelopment/Subfunction.hs
+     ./src/RuleDevelopment/Partition.hs
+     ./src/RuleDevelopment/Abduce.hs
+     ./src/Context/
+     ./src/Context/SynthesisContext.hs
+     ./src/Context/ContextBuilder.hs
+     ./src/Context/ModuleContext.hs
+     ./src/RuleDevelopment.hs
+     ./src/Logging/
+     ./src/Logging/PrettyPrinter.hs
+     ./src/Logging/Logger.hs
+     ./src/UI/
+     ./src/UI/IOInterpreter.hs
+     ./src/UI/REPLoop.hs
+     ./src/UI/Help.hs
+     ./src/UI/UIStarter.hs
+     ./src/Language/
+     ./src/Language/Haskell/
+     ./src/Language/Haskell/Meta/
+     ./src/Language/Haskell/Meta/Syntax.hs
+     ./src/Language/Haskell/Meta/Parse.hs
+     ./src/Language/Haskell/Meta/Utils.hs
+     ./src/Language/Haskell/Meta/Syntax/
+     ./src/Language/Haskell/Meta/Syntax/Vars.hs
+     ./src/Language/Haskell/Meta/Syntax/Translate.hs
+     ./src/Language/Haskell/Meta.hs
+  