isabelle: Changelog

nipkow [Mon, 26 Oct 2015 19:00:24 +0100] rev 61517

adapted to 436b7fe89cdc

wenzelm [Mon, 26 Oct 2015 18:04:17 +0100] rev 61516

clarified Latex.environment (again, amending e16649b70107): avoid additional paragraph, e.g. relevant for option [display];

nipkow [Sun, 25 Oct 2015 17:31:14 +0100] rev 61515

added 234-trees (slow)

nipkow [Sun, 25 Oct 2015 17:30:06 +0100] rev 61514

added 234-Trees (slow)

nipkow [Sun, 25 Oct 2015 16:52:13 +0100] rev 61513

tuned

wenzelm [Sat, 24 Oct 2015 13:42:31 +0200] rev 61512

more uniform command-line for "isabelle jedit" and the isabelle.Main app wrapper;

wenzelm [Fri, 23 Oct 2015 21:03:16 +0200] rev 61511

updated to jedit-5.3.0 and SideKick 1.8;

wenzelm [Fri, 23 Oct 2015 18:39:14 +0200] rev 61510

updated to jdk-8u66;

wenzelm [Fri, 23 Oct 2015 17:30:18 +0200] rev 61509

print thm wrt. local shyps (from full proof context); tuned;

wenzelm [Fri, 23 Oct 2015 17:17:11 +0200] rev 61508

clarified modules; tuned signature;

isabelle