isabelle update_cartouches; tuned proofs; tuned whitespace;

isabelle update_cartouches;

recode all text, which is relevant for Session.save on non-ASCII directory;

tuned;

more recent JavaAppLauncher, which supports file associations;

more explicit indication of bundled jdk, which is required for newer versions of JavaAppLauncher;

more app properties glimpsed from infinitekind/Moneydance 2015.5;

tuned whitespace;

updated to polyml-5.5.3-20150916 (polyml git version cb1b36caa242);

avoid module dependency cycles

goali -> i

Omega_Words_Fun: Infinite words as functions from nat.

provide FontMapper for embedded fonts;

avoid hardwired colors; more explicit switch of editor style vs. default style, which is more appropriate for printing (via PDF);

avoid hardwired colors;

replacement character for spaces;

single-instance application, even on Linux;

single-instance application for Linux;

tuned message;

added isabelle jedit_client;

tuned proofs -- less legacy;

tuned message;

tuned proofs;

renamed method "goals" to "goal_cases" to emphasize its meaning;

tuned proofs;

method "goals" ignores facts;

tuned;

unconceal symbols stemming from inductive_set specifications, which are regular part of user-space specification; also unconceal corresponding primitive definitions, which are official conversions between predicates and sets

fully detached test run, to avoid flashing window on Windows with Cygwin-Terminal;

single-instance application on Windows;