[BUGFIX could not parse multiple targets
martin.hofmann@uni-bamberg.de**20090611034120] hunk ./src/UI/Help.hs 95
-                          "knowledge. <tgts> and <bgks> are names in scope " ++
-                          " separated by spaces.") <$$> linebreak <>
+                          "knowledge. <tgts> and <bgks> are list of names " ++
+                          "in scope separated by commas.") <$$> linebreak <>
hunk ./src/UI/UIStarter.hs 483
+symbol        = T.symbol lexer
hunk ./src/UI/UIStarter.hs 546
-pNames = liftM ((map mkName) .  words) $ identifier
+pName = liftM mkName $ identifier
+pNames = pName `sepBy` (symbol ",")
+
hunk ./src/UI/UIStarter.hs 555
-     <?> ":generalise <t1 t2 ...> [with <b1 b2 ...>]"
+     <?> ":generalise <t1,t2 ...> [with <b1,b2 ...>]"