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@52081 29566b6810f7f1e7fd7916636852971f1e3da7b5
more explicit Session.update_options as source of Global_Options event;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@52084 573e80625c78d667a982487fcf663c88cd932947
less intrusive rendering of antiquoted text -- avoid visual clash with "blue variables" in particular;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@52101 7679178b0aa5a16d737d1e797eb52926d9296691
tuned;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@52102 59cc8881e911d6458e0f37c3c43dd80f4cf0eb1e
tuned messages;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@52106 090a519982e9568672590787f629f8ab92da3158
explicit management of Session.Protocol_Handlers, with protocol state and functions;
more self-contained ML/Scala module Invoke_Scala;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@52111 1fd184eaa3107593ad44009ae7461327b4a9a825
more robust command line -- accomodate /bin/kill on recent Linux (e.g. Xubuntu 13.04):

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@52112 3610ae73cfdbd1fa31431a3876cb35de7979f663
stop protocol handlers as well;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@52113 2d2b049429f389b9598140b87bef65e406fb7406
more informative Build.build_results;
tuned;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@52114 fa497b99dccf1f40806f4f13a343788f662f38c4
tuned signature;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@52115 3660205b96fa9d21f14982ed84e0c08d23c5e516