tuned, including signature

discontinued odd workaround for scala-2.10.0-RC1;

discontinued odd workaround for scala-2.9.2, which is hopefully obsolete in scala-2.10.x;

explicit notion of public options, which are shown in the editor options dialog; avoid hard-wired stuff;

back to more paranoid interrupt test after request is cancelled -- avoid race condition;

timeout counts as regular error, with rc = 1 (cf. special Exn.Interrupt vs. regular TimeLimit.TimeOut in Isabelle/ML);

added isabelle tty option -o;

oops;

renamed 'print_configs' to 'print_options';

proper option quick_and_dirty;

retain quick_and_dirty as-is -- no censorship;

more system-atic options;

added isabelle-process option -o;

more precise "eval", cf. isabelle build;

discontinued obsolete isabelle-process options -f and -u;

NEWS;

discontinued obsolete isabelle usedir, mkdir, make;

modernized TimeLimit.timeLimit using Event_Timer service -- based on more elementary version 11ae688e4e30;

event timer as separate service thread;

tuned signature;

tuned signature -- emphasize thread creation here;

repair after bc01725d7918;

replaced `;' by `;;' to disambiguate syntax; unexpected slight increase in build time

tuned