[changed command separator from comma to semicolon
martin.hofmann@uni-bamberg.de**20090611085020] 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.
+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.
hunk ./README 21
-     ./LICENSE				-- the license files
-     ./README               -- this readme file
-     ./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 complete list)
+     ./LICENSE			  -- the license files
+     ./README             -- this readme file
+     ./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 complete list)
hunk ./README 32
-Igor2 is an inductive programming system, which generalises over given I/O examples of
-some target functions and constructs a solution which is complete and correct w.r.t
-the given examples. Given the type and some equations of e.g. the function 'last' as 
-Haskell code
+Igor2 is an inductive programming system, which generalises over given I/O 
+examples of some target functions and constructs a solution which is complete 
+and correct w.r.t the given examples. Given the type and some equations of e.g. 
+the function 'last' as Haskell code
hunk ./README 49
-Igor2 comes as a Cabal package. To install Igor2 ghc-6.10 is required. To resolve all 
-direct and indirect package dependencies the command line interface of Cabal is 
-highly recommended. A complete installation guide for Igor2 with ghc-6.10 and 
-cabal-install can be found at:
+Igor2 comes as a Cabal package. To install Igor2 ghc-6.10 is required. To 
+resolve all direct and indirect package dependencies the command line interface 
+of Cabal is highly recommended. A complete installation guide for Igor2 with 
+ghc-6.10 and cabal-install can be found at:
hunk ./README 56
-Assuming you have ghc-6.10 and cabal-install already, substitute <version number> 
-with an actual version number of a package at
+Assuming you have ghc-6.10 and cabal-install already, substitute 
+<version number> with an actual version number of a package at
hunk ./README 80
-reference is showed by typing ':help', or a more elaborate explanation can be viewed
-with ':verboseHelp'. To write multiple commands in one line, they have to be 
-separated by commas.
+reference is showed by typing ':help', or a more elaborate explanation can be 
+viewed with ':verboseHelp'. To write multiple commands in one line, they have 
+to be separated by semicolons.
hunk ./README 85
-  Igor2 > :generalise reverse, test reverse on "reverse [1,2,3,4]"
+  Igor2 > :generalise reverse; test reverse on "reverse [1,2,3,4]"
hunk ./README 87
-Furthermore, the system can be run in batch mode with an explicitly given batch file
+Furthermore, the system can be run in batch mode with an explicitly given 
+batch file
hunk ./README 92
-or by simply passing the commands to the system at the command line. Quotes have to be 
-escaped here!
+or by simply passing the commands to the system at the command line. Quotes 
+have to be escaped here!
hunk ./README 95
-  $ igor2 :load Examples.hs, :generalise reverse, test reverse on \"reverse [1,2,3,4]\"
+  $ igor2 :load Examples.hs; :generalise reverse; test reverse on \"reverse [1,2,3,4]\"
hunk ./README 100
-A specification file for Igor2 is a valid Haskell98 module, which is required to type 
-check. Examples for both target functions and background knowledge are given 
-extensionally. The patterns on the need to cover the 'n' smallest inputs w.r.t. the 
-underlying data type.
+A specification file for Igor2 is a valid Haskell98 module, which is required 
+to type check. Examples for both target functions and background knowledge are 
+given extensionally. The patterns on the need to cover the 'n' smallest inputs 
+w.r.t. the underlying data type.
hunk ./README 107
- * 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 one, please send
-   your specification file and the commands to reproduce the bug to the email address
-   mentioned in the header.
- * The Prelude type list ([]) is built in, other data types have to be defined 
-   explicitly, because imports are not supported, yet.  
+ * 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 one, 
+   please send your specification file and the commands to reproduce the bug to 
+   the email address mentioned in the header.
+ * The Prelude types list ([a]) as well as (Maybe a), Bool, and (Either a b) 
+   are built in, other data types have to be defined explicitly, because 
+   imports are not supported, yet. This is due to avoid probable name clashes. 
hunk ./README 118
- * Only use parentheses to clarify associativity, the infix operator ($) is not supported. 
+ * Only use parentheses to clarify associativity, the infix operator ($) is not 
+   supported. 
hunk ./expl/batch.txt 8
-:g reversE, :test reversE on "reversE [1,2,3,4,5,6,7,8]"
+:g reversE; :test reversE on "reversE [1,2,3,4,5,6,7,8]"
hunk ./src/UI/Help.hs 17
-                  "one at a time, or together separated by a comma. " ++
+                  "one at a time, or together separated by a semicolon. " ++
hunk ./src/UI/UIStarter.hs 166
-\  .___                   ._._             \n\            
+\  .___                   ._ ._             \n\            
hunk ./src/UI/UIStarter.hs 169
-\  |   / /_/  ) <_> )  | \\/ | ||/_   _/   \n\
+\  |   / /_/  ) <_> )  | \\/ || |/_   _/   \n\
hunk ./src/UI/UIStarter.hs 171
-\     /_____/               " ++ version ++ "\n"   
+\     /_____/                " ++ version ++ "\n\n" 
hunk ./src/UI/UIStarter.hs 476
---semiSep1      = T.semiSep1 lexer
+semiSep1      = T.semiSep1 lexer
hunk ./src/UI/UIStarter.hs 483
-symbol        = T.symbol lexer
+--symbol        = T.symbol lexer
hunk ./src/UI/UIStarter.hs 495
-           ; x <- commaSep1 pCommand
+           ; x <- semiSep1 pCommand
hunk ./src/UI/UIStarter.hs 499
+       <?> "cmd1; cmd2; ... ; cmdN\nType :h to get help!"
hunk ./src/UI/UIStarter.hs 548
-pNames = pName `sepBy` (symbol ",")
+pNames = commaSep1 pName