actually run Z3 for "SMT_Tests" when "ISABELLE_FULL_TEST" is enabled

added missing certificate file to "ROOT"

more robust report_status: tolerate ML_statistics even if ignored right now, e.g. in batch build;

more liberal edit_control_style: include preceeding control symbol to reduce potential for user surprise;

regenerate certificates -- and use oracle in a few cases where the Z3 proof parser can't deal with Z3 3.2 proofs

Z3's soft timeout is expressed in ms, not in s -- this explains the frequenty "error code 112" failures we had recently

dropped relics of ancient side-entry points

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;

tuned signature;

tuned imports;

include user counters as well;

scala mode is already part of jedit-5.0.0;

tuned;

simplified quick start via "isabelle components -I";

tuned signature -- eliminated obsolete Standard_System;

tuned signature;

recovered generic PIDE build;

updated for release;

updated for release;

updated for release;

misc tuning for release;

recovered Isabelle2012 NEWS from ae12b92c145a, except for e5420161d11d;

updated to smlnj-110.75;

tuned rendering;

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);

tuned;

more informative error;

tuned -- recovered comments from 791157a4179a;

tuned;

tuned whitespace;