prefer options from running application;

more precise messages;

back to low-level JPanel, required for addNotify/removeNotify; proper actor wiring, support multiple (floating) instances;

added properties_changed event bus;

provide dummy URL;

generic HTML_Panel -- specific Results_Dockable;

tuned;

tuned;

simplified register_fonts;

tuned library names;

misc modernization of names;

misc rearrangement of files;

removed remains of Flying Saucer;

manipulate document within Swing thread only -- potentially slow;

tuned JVM settings;

misc updates;

obsolete;

use IsabelleText by default;

misc updates;

simplified treatment of Isabelle fonts, via Isabelle_System.register_fonts (requires Java 1.6);

removed ScrollerDockable, which is based on discontinued Flying Saucer renderer;

use IsabelleText font; explicit <pre> element; relayout in swing thread -- paranoia mode;

reduced logging;

tuned message markup;

plain results, no markup here;

basic setup for Cobra HTML renderer;

results: XML.Tree;

basic platform update;

Prover: private Actor;

tuned;