Pretty.string_of (in Scala): actually observe margin/metric;

tuned Command.toString -- preserving uniqueness allows the Scala toplevel to print Linear_Set[Command] results without crashing;

tuned tooltips;

obsolete;

explicit treatment of empty exception block, which could lead to confusing output (e.g. in the theory loader), or even prevent error output altogether;

contrib/README;

removed outdated/confusing INSTALL file;

clarified font_family vs. font_family_default; install_fonts: refrain from any magic that does not really work on Mac OS, but introduces strange problems on other platforms;

disable set_styles for now -- there are still some race conditions of PropertiesChanged vs. TextArea painting (NB: without it Isabelle_Token_Marker will crash if sub/superscript is actually used);

Added tag isa2009-2-test2 for changeset dfca6c4cd1e8

more uniform treatment of options and attributes, preferring formal markup over old-style LaTeX macros;

merged;

Tuned.

Documented changes in induct, cases, and nominal_induct method.

merged

made SML/NJ happy again;

recovered some untested theories;

proper target directory;

refer to isabelle-release branch;

no symlinks; tuned;

merged

tuned ANNOUNCEMENT;

more NEWS;

more NEWS; tuned;