[License added
martin.hofmann@uni-bamberg.de**20090518093556] addfile ./LICENSE
hunk ./LICENSE 1
-
+Copyright 2009, Martin Hofmann, All rights reserved.
+
+Redistribution and use in source and binary forms, with or without
+modification, are permitted provided that the following conditions
+are met:
+
+1. Redistributions of source code must retain the above copyright
+   notice, this list of conditions and the following disclaimer.
+
+2. Redistributions in binary form must reproduce the above copyright
+   notice, this list of conditions and the following disclaimer in the
+   documentation and/or other materials provided with the distribution.
+
+3. Neither the name of the author nor the names of his contributors
+   may be used to endorse or promote products derived from this software
+   without specific prior written permission.
+
+THIS SOFTWARE IS PROVIDED BY THE AUTHORS ``AS IS'' AND ANY EXPRESS OR
+IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
+WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
+DISCLAIMED.  IN NO EVENT SHALL THE AUTHORS OR CONTRIBUTORS BE LIABLE FOR
+ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
+DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
+OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
+HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
+STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
+ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+POSSIBILITY OF SUCH DAMAGE.
hunk ./README 1
+
+
hunk ./README 8
+igor2 -b expl/batch.txt
hunk ./expl/batch.txt 1
-:l "TestModule.hs"
-:g "reverse"
-:q
+:yell "...Load example file" 
+:load expl/Examples.hs
+:y "...setting dumpLog to TRUE"
+:s +dumpLog
+:y "...setting logging directory to ."
+:s dumpDir="."
+:y "...generalise and test 'reversE'"
+:g reversE, :test reversE on "reversE [1,2,3,4,5,6,7,8]"
+:y "...stop dumping logs"
+:s -dumpLog
+:y "...generalise 'swap'"
+:g swap
+:y "That's all! Enjoy yourself playing with Igor2"
+
+
hunk ./igor2.cabal 4
-License:                  GPL
+License:                  BSD3
+License-File:             LICENSE
+
hunk ./igor2.cabal 9
+Copyright:                (c) 2009 by Martin Hofmann
+Stability:                Experimental
+Category:                 Inductive Programming
hunk ./igor2.cabal 15
-
-
+Data-Files:               README, expl/batch.txt, expl/Examples.hs
hunk ./src/UI/UIStarter.hs 134
-runCmd s (Yell st)              = putStrLn st >> return (False,s)
+runCmd s (Yell st)              = putStrLn ("Igor says:" ++ st) >> return (False,s)
hunk ./src/UI/UIStarter.hs 274
-    let elt = text t <$$> linebreak
+    let elt = text t
hunk ./src/UI/UIStarter.hs 276
-    hPutDoc stdout $ linebreak <> res <$$> elt
-    printToFile s $ doc <$$> res <$$> elt
+    hPutDoc stdout $ linebreak <> res
+    printToFile s $ doc <$$> res
hunk ./src/UI/UIStarter.hs 347
-            "Run a batch file",               pString Batch)
+            "Run a batch file",               pIdentifier Batch)
hunk ./src/UI/UIStarter.hs 349
-            "Load a spec file into context.", pString Load)
+            "Load a spec file into context.", pIdentifier Load)
hunk ./src/UI/UIStarter.hs 431
-         , identLetter    = alphaNum <|> oneOf "_'./"
+         , identLetter    = alphaNum <|> oneOf "_'./" 
+--         , identStart     = alphaNum <|> oneOf "_'./" 
hunk ./src/UI/UIStarter.hs 498
-            ; i <- identifier
+            ; i <- stringLiteral
hunk ./src/UI/UIStarter.hs 503
-pString :: (String -> Cmd) -> Parser Cmd
-pString c = identifier >>= return . c
+pString, pIdentifier :: (String -> Cmd) -> Parser Cmd
+pString c = stringLiteral >>= return . c
+pIdentifier c = identifier >>= return . c