isabelle: Changelog

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;

wenzelm [Tue, 18 Oct 2016 16:03:30 +0200] rev 64304

clarified modules;

wenzelm [Tue, 18 Oct 2016 15:31:08 +0200] rev 64303

another attempt to squeeze a list into a property list entry;

wenzelm [Tue, 18 Oct 2016 15:18:58 +0200] rev 64302

report actual build_args;

isabelle