isabelle: Changelog

wenzelm [Sat, 17 Jan 2015 22:52:45 +0100] rev 59385

more compact content for tighter graph layout;

wenzelm [Sat, 17 Jan 2015 22:20:57 +0100] rev 59384

more explicit Layout.Info: size and content; allow multi-line vertex label, based on content; misc tuning;

wenzelm [Sat, 17 Jan 2015 16:40:10 +0100] rev 59383

clarified Class.pretty_specification: imitate input source;

boehmes [Fri, 16 Jan 2015 23:24:29 +0100] rev 59382

merged

boehmes [Fri, 16 Jan 2015 23:23:31 +0100] rev 59381

more efficient Z3 proof reconstruction for rewrite steps with conjunctions and disjunctions, similar to Old_SMT

nipkow [Fri, 16 Jan 2015 20:06:39 +0100] rev 59380

added simp lemma

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

tuned

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

isabelle