Sat, 20 Jun 2015 20:17:29 +0200 eliminated list_all;
wenzelm [Sat, 20 Jun 2015 20:17:29 +0200] rev 60537
eliminated list_all;
Sat, 20 Jun 2015 20:11:22 +0200 tuned proofs;
wenzelm [Sat, 20 Jun 2015 20:11:22 +0200] rev 60536
tuned proofs;
Sat, 20 Jun 2015 17:29:51 +0200 tuned proofs;
wenzelm [Sat, 20 Jun 2015 17:29:51 +0200] rev 60535
tuned proofs;
Sat, 20 Jun 2015 16:42:15 +0200 tuned proofs;
wenzelm [Sat, 20 Jun 2015 16:42:15 +0200] rev 60534
tuned proofs;
Sat, 20 Jun 2015 16:31:44 +0200 isabelle update_cartouches;
wenzelm [Sat, 20 Jun 2015 16:31:44 +0200] rev 60533
isabelle update_cartouches;
Sat, 20 Jun 2015 16:23:56 +0200 misc tuning;
wenzelm [Sat, 20 Jun 2015 16:23:56 +0200] rev 60532
misc tuning;
Sat, 20 Jun 2015 16:08:47 +0200 less ambitious USER_HOME on Windows: avoid potentially disconnected share, agree with guess of JVM user.home;
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;
Sat, 20 Jun 2015 15:45:02 +0200 isabelle update_cartouches;
wenzelm [Sat, 20 Jun 2015 15:45:02 +0200] rev 60530
isabelle update_cartouches;
Sat, 20 Jun 2015 15:43:36 +0200 avoid suspicious Unicode;
wenzelm [Sat, 20 Jun 2015 15:43:36 +0200] rev 60529
avoid suspicious Unicode;
Fri, 19 Jun 2015 23:51:30 +0200 tuned;
wenzelm [Fri, 19 Jun 2015 23:51:30 +0200] rev 60528
tuned;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip