tuned;

separated NEWS for Isabelle2011 from Isabelle2011-1 (cf. e1139e612b55);

updated for release;

tuned;

updated generated file;

updated Complete_Lattices;

some tuning and re-ordering for release;

misc tuning for release;

more contributors;

tuned proofs;

tweak keyboard shortcuts for Mac OS X;

explicit check_file wrt. jEdit VFS, to avoid slightly confusing empty buffer after IO error;

finite sequences as useful as introductory example;

discontinued hard-wired JAVA_HOME treatment for Mac OS X (cf. f471a2fb9a95), which can cause confusions of "isabelle java" vs. "isabelle scala" -- moved settings to external component;

graph traversal in topological order; Session.snapshot() with sensible defaults;

Document.Node.Name convenience;

more precise painting;

more elaborate Node_Renderer, which paints node_name.theory only;

raised default log level -- to avoid confusing warning about scala.tools.nsc.plugins.Plugin, which is mistaken as jEdit plugin;

tuned signature;

more careful traversal of theory dependencies to retain standard import order;

sane default for class Thy_Load;

removed obsolete patches for PG 4.1;

specific bundle for x86_64-linux, which is especially important for JRE due to its extra library dependencies;

added "isabelle scalac" convenience;

Symbol.explode as in ML;

ignore OUTPUT to avoid spam -- jEdit menu "Troubleshooting / Activity Log" should be sufficient;

dropped unused argument – avoids problem with SML/NJ

tuned spacing

tuned