isabelle: Changelog

wenzelm [Sat, 20 Jun 2015 20:55:31 +0200] rev 60538

tuned proofs;

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

eliminated list_all;

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;

isabelle