detect more hosts;

Added tag Isabelle2013 for changeset d90218288d51

make WWW_Find work again, now that its ML modules reside within a theory context (cf. bf5b45870110) -- patch by Rafal Kolanski;

merged

avoid crash (NPE) when properties are changed during prover startup (e.g. by font scaling);

updated PIDE notes;

proper root for document variants (cf. be8002ee43d8);

Added tag Isabelle2013-RC3 for changeset 8cf38c6b33f8

proforma update to jdk-7u13 -- barely relevant security updates by Oracle;

more robust JEdit_Lib.pixel_range, which could crash via Rich_Text_Area.tooltip_painter with bad mouse coordinates;

documentation for 'print_rules';

no choice of target directory -- default file permissions outside user directory tend to be ill-defined for Cygwin;

merged

provide jdk-7u13 (still inactive, potentially pointless);

allow relative directory;

standardized isabelle-server.in.tum.de;

some native Mac OS X support, notably quit_handler (important for dialog on unsaved changes);

made SML/NJ happy

more portable alternative shortcuts on numeric keypad;

more generic reference to polyml component;

Added tag Isabelle2013-RC2 for changeset 7fc61bfb1c2d

updated to polyml-5.5.0-3 based on fixes-5.5 version 1658, which provides important improvements;

merged

separate makedist_bundle for each platform family, which is more useful for manual use;

tuned;

tuned;

notes on building Poly/ML;

tuned ML platform fallback;

manual update of sessions, based on "isabelle build -nvc";

some updates concerning Proof General;

updated explanations of document preparation;

clarified NEWS on isabelle build and mkroot;

some explanations of important build options; tuned;

tuned;

another attempt to standardize sort order in a portable way;

rebundled polyml-5.5.0-2, which now includes the sources as usual (e.q. required for formal references in Isabelle/ML);

updated for release;

tuned;

minimal updated of jEdit/README.html, without any substantial reforms;

clarified notion of Command.proper_range (according to Token.is_proper), especially relevant for Active.try_replace_command, to avoid loosing subsequent comments accidentally; reverted f3588e59aeaa accordingly;

avoid extra fork for fulfill_proof_future whenever possible -- without proof terms it merely doubles the number of proof tasks redundantly, by piggy-backing another 10 microseconds task;

report status more frequently on demand;

more efficient inlined properties, especially relevant for voluminous tasks trace;

more generous tracing limit, which is relevant for applications where this occurs routinely (e.g. HO unification trace);

repackaged polyml-5.5.0-1 -- only x86-cygwin changed;

better apply peflags at build time, to avoid antivirus getting nervous about changing executables;

Added tag Isabelle2013-RC1 for changeset 2c3d0cb151c0

tuned state display

tuned names

tuned

tuned identifier

tuned top

Typo in description of abs_def.

distinguish one more kind of proofs

added markers in proofs identifying origin of proofs, in eval driver

added option to use SNoW as machine learning algo

more robustness in Isar proof reconstruction (cf. bug report by Ondrej)

more precise error message

killed deadcode

more robustness w.r.t. 0