clarified text_fold vs. fbrk;

tuned print_classes: more standard order, markup, formatting; uniform printing of minimal supersort/classrel;

tuned message;

actually exit on scalac failure;

tuned signature;

removed obsolete uses of ext

prefer preset = 3 -- much faster and less memory requirement;

basic support for xz files;

added component xz-java-1.2;

more "quick start" hints; more explicit "Testing of changes", instead of convoluted "Building a repository version of Isabelle"; tuned;

simple case syntax for stream (stolen from AFP/Coinductive)

prefer plain \<^sub> for better rendering (both in Isabelle/jEdit and LaTeX); tuned proofs;

merged

reverted most of 5944b20c41bf -- tends to cause race condition of synchronous vs. asynchronous version;

no censorship of "view.fracFontMetrics", although it often degrades rendering quality;

retain original tooltip range, to avoid repeated window popup when the mouse is moved over the same content;

apply small result immediately, to avoid visible delay of text update after window move;

structural equality for Command.Results; more general Command.State.eq_content;

allow fractional pretty margin -- avoid premature rounding;

more explicit Pretty.Metric, with clear distinction of unit (space width) vs. average char width (for visual adjustments) -- NB: Pretty formatting works via full space characters (despite a981a5c8a505 and 70f7483df9cb); separate JEdit_Lib.pretty_metric, with slightly closer imitation of jEdit;

tuned;

spelling

fundamental revision of big operators on sets

tuned proof

locales for abstract orders

merged

added rudimentary induction rule for partial_function (heap)

allow induction predicates with arbitrary arity (not just binary)

modernized definition of root: use the_inv, handle positive and negative case uniformly, and 0-th root is constant 0

arcsin and arccos are continuous on {0 .. 1} (including the endpoints)