isabelle: Changelog

haftmann [Thu, 15 Jan 2015 13:39:41 +0100] rev 59378

separate image for prerequisites of codegen tutorial

haftmann [Thu, 15 Jan 2015 13:39:41 +0100] rev 59377

modernized cartouches

haftmann [Thu, 15 Jan 2015 13:39:41 +0100] rev 59376

even more pervasive replacement of auxiliary destination

boehmes [Thu, 15 Jan 2015 21:45:23 +0100] rev 59375

merged

boehmes [Thu, 15 Jan 2015 21:44:51 +0100] rev 59374

more detailed runtime statistics for Z3 proof reconstruction

wenzelm [Thu, 15 Jan 2015 20:37:33 +0100] rev 59373

merged

wenzelm [Thu, 15 Jan 2015 20:36:26 +0100] rev 59372

proper update of perspective after implicit edit due to reparse (e.g. ~~/src/HOL/Nat.thy);

wenzelm [Thu, 15 Jan 2015 16:26:23 +0100] rev 59371

updated to scala-2.11.5;

wenzelm [Thu, 15 Jan 2015 14:01:26 +0100] rev 59370

refrain from default task_context for all protocol commands, e.g. relevant for "build_theories" to admit Session.shutdown;

wenzelm [Thu, 15 Jan 2015 12:54:08 +0100] rev 59369

more informative build_theories_result: cumulative Runtime.exn_message;

isabelle