more portable perl invocation;

more standard document preparation within session context;

more standard document preparation within session context; more uniform document build;

more standard document preparation within session context;

clarified "isabelle logo";

clarified document directories: browser_info as backdrop vs. optional output directory in the foreground;

less ambitious test -- terminate more quickly;

tuned;

actual use of (sos remote_csdp) via ISABELLE_FULL_TEST;

test with many add-ons;

updated Theory.begin_theory;

entity markup for theory Pure, to enable hyperlinks etc.;

more accurate defining position of theory;

theory def/ref position reports, which enable hyperlinks etc.; more official header command parsing;

fixed theory dependency

more convenient switching of buffers;

report source path and let front-end resolve implicit master location (e.g. URL);

prefer jEdit file name representation (potentially via VFS); tuned;

more precise counting of line/column;

support for direct hyperlinks, without the Hyperlinks plugin;

tuned signature;

some markup for inlined files;

check side-comments of command spans (normally filtered out in Outer_Syntax.toplevel_source);

updated READMEs -- most Mac OS X problems are gone thanks to jdk-7u6;

clarified syntax boundary cases and errors;

simplified JVM startup, based on stronger assumptions about the Java version provided as Isabelle component;

eliminated obsolete byte_reader -- theory headers + body files are parsed in full;

more direct File.read_bytes -- avoid cumulative copying of StringBuilder;

improved errors of parser combinators;

tuned messages: end-of-input rarely means physical end-of-file from the past;