2016-01-01 wenzelm 2016-01-01 oops;
2016-01-01 wenzelm 2016-01-01 Added tag Isabelle2016-RC0 for changeset e18444532fce
2016-01-01 wenzelm 2016-01-01 tuned;
2016-01-01 wenzelm 2016-01-01 updated for release;
2016-01-01 wenzelm 2016-01-01 tuned;
2016-01-01 wenzelm 2016-01-01 more symbols;
2016-01-01 wenzelm 2016-01-01 clarified abbrev;
2016-01-01 wenzelm 2016-01-01 clarified meaning of \<^bold> action, depending on group;
2016-01-01 wenzelm 2016-01-01 clarified groups, notably for Symbols dockable;
2016-01-01 wenzelm 2016-01-01 glyphs for \<bind>, \<then>;
2016-01-01 wenzelm 2016-01-01 tuned order for isar-ref;
2016-01-01 wenzelm 2016-01-01 isabelle update_cartouches -c -t;
2015-12-31 wenzelm 2015-12-31 updated for release;
2015-12-31 wenzelm 2015-12-31 updated to SML/NJ 110.79;
2015-12-31 wenzelm 2015-12-31 misc tuning for release;
2015-12-31 wenzelm 2015-12-31 misc updates for release;
2015-12-31 wenzelm 2015-12-31 expand hard tabs;
2015-12-31 wenzelm 2015-12-31 documentation for "isabelle jedit_client";
2015-12-31 wenzelm 2015-12-31 discontinued documentation of old browser; tuned;
2015-12-31 wenzelm 2015-12-31 more precise context -- potentially relevant for Eisbach dummy thm;
2015-12-31 wenzelm 2015-12-31 tuned;
2015-12-31 wenzelm 2015-12-31 updated sumatra_pdf;
2015-12-31 wenzelm 2015-12-31 clarified imports;
2015-12-31 wenzelm 2015-12-31 clarified directory structure;
2015-12-31 wenzelm 2015-12-31 updated isabelle_fonts;
2015-12-31 wenzelm 2015-12-31 proper diamond from lasy10;
2015-12-31 wenzelm 2015-12-31 modernized defs; tuned proofs; tuned whitespace;
2015-12-30 wenzelm 2015-12-30 more symbols;
2015-12-30 wenzelm 2015-12-30 more symbols;
2015-12-30 wenzelm 2015-12-30 isabelle update_cartouches -c -t;
2015-12-30 wenzelm 2015-12-30 more symbols;
2015-12-30 wenzelm 2015-12-30 more symbols;
2015-12-30 wenzelm 2015-12-30 more symbols;
2015-12-30 wenzelm 2015-12-30 clarified print modes;
2015-12-30 wenzelm 2015-12-30 updated print modes;
2015-12-30 wenzelm 2015-12-30 modernized Isabelle document markup;
2015-12-30 wenzelm 2015-12-30 clarified print modes: Isabelle symbols are used by default, but "latex" mode needs to be for some syntax forms; more standard spacing for big operators;
2015-12-30 wenzelm 2015-12-30 clarified print modes; more symbols;
2015-12-30 wenzelm 2015-12-30 more symbols;
2015-12-30 wenzelm 2015-12-30 more symbols;
2015-12-30 wenzelm 2015-12-30 removed junk;
2015-12-30 wenzelm 2015-12-30 more symbols;
2015-12-30 wenzelm 2015-12-30 clarified print modes;
2015-12-30 wenzelm 2015-12-30 clarified print modes;
2015-12-30 wenzelm 2015-12-30 clarified print modes; more symbols;
2015-12-30 wenzelm 2015-12-30 isabelle update_cartouches -c -t;
2015-12-30 wenzelm 2015-12-30 clarified print modes;
2015-12-30 wenzelm 2015-12-30 more symbols;
2015-12-30 wenzelm 2015-12-30 more symbols;
2015-12-30 wenzelm 2015-12-30 more symbols;
2015-12-30 wenzelm 2015-12-30 more symbols;
2015-12-30 wenzelm 2015-12-30 clarified syntax;
2015-12-30 wenzelm 2015-12-30 clarified print modes;
2015-12-30 wenzelm 2015-12-30 proper latex setup;
2015-12-30 wenzelm 2015-12-30 proper latex setup;
2015-12-30 wenzelm 2015-12-30 more symbols;
2015-12-30 wenzelm 2015-12-30 isabelle update_cartouches -c -t;
2015-12-30 wenzelm 2015-12-30 tuned java options;
2015-12-30 wenzelm 2015-12-30 more symbols;
2015-12-29 wenzelm 2015-12-29 simplified abbrevs: exploit ambiguity;