more informative error;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50640 b35bd877875430f1aea4bcf170d38ce2448c5d05
tuned;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50641 b908e56e83ca1ea7e90fa0137e0dd84c7a6ac0ec
ignore markup elements over empty body, which are not well-defined within markup tree and fail to work with merge_disjoint (e.g. multiple inlined positions);

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50642 aca12f6467729fcd3f946673f1c7db4be36b1916
tuned rendering;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50643 09394eaf6804ce45209ca7e72e3e680aec204839
recovered generic PIDE build;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50650 8922afc54b3d6570ca50408d587fc4f8bd2df4f1
tuned signature;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50651 1fe68f1c3069beb6370d424b94597e82e3d651ec
tuned signature -- eliminated obsolete Standard_System;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50652 ead5714cc4805954326c84df3090b9887a4d5a44
scala mode is already part of jedit-5.0.0;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50655 1656248e673f4e00f715b06bb8ddf9925fd45d86
tuned imports;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50657 57abb2a814ab130ce8d1c6fe3f6bdc9be90dec31
tuned signature;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50658 0464c2007a255319552dd869186c1a679b1cb4ec
prefer JDialog over JWindow to avoid focus inversion problem on Compiz (e.g. Ubuntu/Unity 12.10): both JDialog and JFrame happen to work, but JFrame does not support parent nesting;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50659 0f88591478e632af73bd46acae4f357a8e4272d3
more liberal edit_control_style: include preceeding control symbol to reduce potential for user surprise;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50663 f8d7d332fec06791abb09d7844de276db81f748a
support File.read_gzip as well, in accordance to File.write_gzip;
tuned signature;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50684 12b7e0b4a66ea1680a0d5a1e2ccb8e63ae6b981f
ML runtime statistics: read properties from build log;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50685 293e8ec4dfc8ca9ed485e707c7a698b3ef7f01aa
moved files;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50686 d703e3aafa8c639bb6f98b4247d8b4f013ec7a1f
moved files;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50687 a8db4bf70e9009ac8e390ff15f3a2a7dfded5ff7
some support for ML statistics content interpretation;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50688 f02864682307d52de4c5204af9f55c1dadf073a9
some support for chart drawing;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50689 0607d557d073591e3939b08d2b9e6456ec82f402
some grouping of standard fields;
tuned signature;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50690 03c4d75e8e32e10d829eca1b39364cf1e9013c3b
added standard_frames convenience;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50691 20beafe66748568a5207ac0919c467ff75c90e36