Mon, 08 Dec 2014 22:42:12 +0100 expand ML cartouches to Input.source;
wenzelm [Mon, 08 Dec 2014 22:42:12 +0100] rev 59112
expand ML cartouches to Input.source; tuned signature;
Mon, 08 Dec 2014 16:04:50 +0100 merged
wenzelm [Mon, 08 Dec 2014 16:04:50 +0100] rev 59111
merged
Mon, 08 Dec 2014 15:59:30 +0100 some special cases for official SML, to treat Isabelle symbols like raw characters;
wenzelm [Mon, 08 Dec 2014 15:59:30 +0100] rev 59110
some special cases for official SML, to treat Isabelle symbols like raw characters;
Mon, 08 Dec 2014 15:21:57 +0100 tuned comment;
wenzelm [Mon, 08 Dec 2014 15:21:57 +0100] rev 59109
tuned comment;
Mon, 08 Dec 2014 11:50:04 +0100 clarified Isabelle/ML strings (refining 72238ea2201c);
wenzelm [Mon, 08 Dec 2014 11:50:04 +0100] rev 59108
clarified Isabelle/ML strings (refining 72238ea2201c);
Mon, 08 Dec 2014 11:49:04 +0100 tuned signature;
wenzelm [Mon, 08 Dec 2014 11:49:04 +0100] rev 59107
tuned signature;
Mon, 08 Dec 2014 14:32:11 +0100 instance bool and enat as topologies
hoelzl [Mon, 08 Dec 2014 14:32:11 +0100] rev 59106
instance bool and enat as topologies
Mon, 08 Dec 2014 12:30:47 +0100 NEWS
haftmann [Mon, 08 Dec 2014 12:30:47 +0100] rev 59105
NEWS
Fri, 05 Dec 2014 19:35:36 +0100 allow multiple inheritance of targets
haftmann [Fri, 05 Dec 2014 19:35:36 +0100] rev 59104
allow multiple inheritance of targets
Thu, 04 Dec 2014 16:51:54 +0100 tuned module structure
haftmann [Thu, 04 Dec 2014 16:51:54 +0100] rev 59103
tuned module structure
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip