isabelle: Changelog

wenzelm [Sat, 20 Jun 2015 20:11:22 +0200] rev 60536

tuned proofs;

wenzelm [Sat, 20 Jun 2015 17:29:51 +0200] rev 60535

tuned proofs;

wenzelm [Sat, 20 Jun 2015 16:42:15 +0200] rev 60534

tuned proofs;

wenzelm [Sat, 20 Jun 2015 16:31:44 +0200] rev 60533

isabelle update_cartouches;

wenzelm [Sat, 20 Jun 2015 16:23:56 +0200] rev 60532

misc tuning;

wenzelm [Sat, 20 Jun 2015 16:08:47 +0200] rev 60531

less ambitious USER_HOME on Windows: avoid potentially disconnected share, agree with guess of JVM user.home;

wenzelm [Sat, 20 Jun 2015 15:45:02 +0200] rev 60530

isabelle update_cartouches;

wenzelm [Sat, 20 Jun 2015 15:43:36 +0200] rev 60529

avoid suspicious Unicode;

wenzelm [Fri, 19 Jun 2015 23:51:30 +0200] rev 60528

tuned;

wenzelm [Fri, 19 Jun 2015 23:40:46 +0200] rev 60527

tuned proofs;

isabelle