[edited quick help text
martin.hofmann@uni-bamberg.de**20100326132345] hunk ./src/Igor2/UI/UIStarter.hs 433
-      ("maxLoops",          "Stop synthesis after 'n' cycles (debug only)",
+      ("maxLoops",          "Stop synthesis after 'n' cycles",
hunk ./src/Igor2/UI/UIStarter.hs 435
-      ("maxTiers",          "Return the first 'n' tiers of closed programs (debug only)",
+      ("maxTiers",          "Return the first 'n' tiers of closed programs",