isabelle: Changelog

wenzelm [Thu, 20 Oct 2016 10:30:11 +0200] rev 64314

more robust bootstrap, e.g. when experimenting with Poly/ML repository changes;

wenzelm [Wed, 19 Oct 2016 18:14:42 +0200] rev 64313

updated to jdk-8u112;

wenzelm [Wed, 19 Oct 2016 17:39:04 +0200] rev 64312

basic SSH server configuration;

wenzelm [Wed, 19 Oct 2016 17:03:44 +0200] rev 64311

proper isabelle tool in Scala;

wenzelm [Wed, 19 Oct 2016 16:30:24 +0200] rev 64310

tuned;

wenzelm [Wed, 19 Oct 2016 14:43:11 +0200] rev 64309

merged

wenzelm [Wed, 19 Oct 2016 14:42:28 +0200] rev 64308

added system option "profiling";

wenzelm [Tue, 18 Oct 2016 17:41:56 +0200] rev 64307

replaced inefficient valid_accesses by is_valid_access, based on stored input accesses: e.g. relevant for Proof_Context.update_thms;

wenzelm [Tue, 18 Oct 2016 16:11:13 +0200] rev 64306

tuned signature, in accordance to Isabelle_System;

wenzelm [Tue, 18 Oct 2016 16:08:55 +0200] rev 64305

tuned;

isabelle