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

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@52063 fd533ac64390538eca1d950069a44de21fb792b6
explicit notion of public options, which are shown in the editor options dialog;
avoid hard-wired stuff;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@52065 78f2475aa1267439f069bb9d8bf4168a2ce6f9b4
discontinued odd workaround for scala-2.9.2, which is hopefully obsolete in scala-2.10.x;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@52066 83b7b88770c9048ca1e4a18860d5c153be32861e
discontinued odd workaround for scala-2.10.0-RC1;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@52067 4894df243482a4b81af3f3f07291dfe0631aa8c9