Thu, 28 Mar 2013 23:44:43 +0100 re-generated SMT certificates
boehmes [Thu, 28 Mar 2013 23:44:43 +0100] rev 51576
re-generated SMT certificates
Thu, 28 Mar 2013 23:44:41 +0100 new, simpler implementation of monomorphization;
boehmes [Thu, 28 Mar 2013 23:44:41 +0100] rev 51575
new, simpler implementation of monomorphization; old monomorphization code is still available as Legacy_Monomorphization; modified SMT integration to use the new monomorphization code
Thu, 28 Mar 2013 22:42:18 +0100 ghost bullet via markup, which is painted as bar under text (normally space);
wenzelm [Thu, 28 Mar 2013 22:42:18 +0100] rev 51574
ghost bullet via markup, which is painted as bar under text (normally space);
Thu, 28 Mar 2013 16:11:48 +0100 replace induction by hammer
kleing [Thu, 28 Mar 2013 16:11:48 +0100] rev 51573
replace induction by hammer
Thu, 28 Mar 2013 15:47:03 +0100 merged
wenzelm [Thu, 28 Mar 2013 15:47:03 +0100] rev 51572
merged
Thu, 28 Mar 2013 15:37:39 +0100 merged;
wenzelm [Thu, 28 Mar 2013 15:37:39 +0100] rev 51571
merged;
Thu, 28 Mar 2013 15:36:45 +0100 basic support for Pretty.item, which is considered as logical markup and interpreted in Isabelle/Scala, but ignored elsewhere (TTY, latex etc.);
wenzelm [Thu, 28 Mar 2013 15:36:45 +0100] rev 51570
basic support for Pretty.item, which is considered as logical markup and interpreted in Isabelle/Scala, but ignored elsewhere (TTY, latex etc.);
Thu, 28 Mar 2013 15:00:27 +0100 maintain integer indentation during formatting -- it needs to be implemented by repeated spaces eventually;
wenzelm [Thu, 28 Mar 2013 15:00:27 +0100] rev 51569
maintain integer indentation during formatting -- it needs to be implemented by repeated spaces eventually; always round block indentation upwards, to ensure that text moves visually to the right of the "hanging" part;
Thu, 28 Mar 2013 14:47:37 +0100 tuned;
wenzelm [Thu, 28 Mar 2013 14:47:37 +0100] rev 51568
tuned;
Thu, 28 Mar 2013 14:01:56 +0100 proper default browser info for interactive mode, notably thy_deps;
wenzelm [Thu, 28 Mar 2013 14:01:56 +0100] rev 51567
proper default browser info for interactive mode, notably thy_deps;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip