more precise pretty printing -- to accomodate Scala message layout;

less verbosity -- avoid slightly odd tracing information on warning channel;

updated Isabelle/jEdit limitations and workarounds;

full theory path enables loading parents via master directory and keeps files strictly separate;

Toplevel.init_theory: maintain optional master directory, to allow bypassing global Thy_Load.master_path;

clarified split_thy_path;

less verbosity;

proper 'domain' class instance for 'a defl, with deflation combinator

documented Option.bind

CONTRIBUTORS

updated keywords;

eliminated global prems;

eliminated global prems; tuned proofs;

updated to ProofGeneral-4.x;

eliminated global prems;

tuned proof;

eliminated global prems; tuned proofs;

compile;

more FIXMEs concerning bad catch-all exception handlers;

eliminated obsolete print_sign_exn_unit;

reraise interrupts as usual;

avoid catch-all exception handler, presumably TERM was meant here;

disabled experimental treatment of replacement text for now, which leads to odd spacing and strange effects on non-poppler viewers;

observe line length limit;

smart_string_of_real: print integer values without fractional part;

tuned (cf. 2fe62d602681);

added dist/jedit symlink for convenience;

record versions of both jEdit and Isabelle;

updated to Isabelle2011;

isabelle version -i;