close tooltip after Active.action, to make it look more interactive (notably due to lack of dynamic update);

identify future results more carefully, to avoid odd duplication of error messages, notably from forked goals;

eliminated dead code;

proper range position;

more explicit treatment of (optional) exception properties, notably for "serial" -- avoid conflict with startPosition = offset;

tuned comments;

tuned signature;

use Pure instead of HOL connectives

graceful failure

honor fact range for MePo as well

more improvements to Isar proof reconstructions

tuned whitespace

merged

avoid handling arbitrary exceptions, notably physical interrupts that would make the program erratic;

tuned;

separate color ranges by 1px to improve discernment of overall theory status;

grand-unified Admin/Release/build script (excluding .app and .exe);

generalized more topology theorems

generalize lemma islimpt_finite to class t1_space

tuned

more prominent status ticks; is_running takes priority -- important to spot unstable parts that are re-run after edits;

merged

Isabelle_System.mkdirs with explicit error checking (in accordance to ML version), e.g. relevant with read-only DMG file-system on Mac OS X;

include /isabelle/rebaseall in autorebaseall, which is run after installation of further packages; patch cygwin in makedist_bundles instead of makedist_cygwin, to avoid frequent repackaging of the same;

do not register quasi-components, notably cygwin;

updated to jdk-7u11;

updated to cygwin-20130114;

clarified paths: init relatively to cygwin root;

avoid odd copies of local configuration or backup files;

more precise relevant_range to exploit overview_limit better;