haftmann [Mon, 19 Jan 2009 13:38:23 +0100] rev 29561
lcp = paulson
haftmann [Mon, 19 Jan 2009 13:37:24 +0100] rev 29560
"code equation" replaces "defining equation"
haftmann [Mon, 19 Jan 2009 08:16:43 +0100] rev 29559
tuned
haftmann [Mon, 19 Jan 2009 08:16:42 +0100] rev 29558
improved tackling of subclasses
haftmann [Mon, 19 Jan 2009 08:16:42 +0100] rev 29557
tuned proof
haftmann [Sun, 18 Jan 2009 21:40:53 +0100] rev 29556
smart path detection
haftmann [Sun, 18 Jan 2009 21:36:59 +0100] rev 29555
corrected user aliases
haftmann [Sun, 18 Jan 2009 21:12:06 +0100] rev 29554
added churn script
wenzelm [Sun, 18 Jan 2009 20:06:51 +0100] rev 29553
Scala wrapper for interactive Isar documents;
wenzelm [Sun, 18 Jan 2009 20:05:01 +0100] rev 29552
added append_list, encode_list;
tuned;
wenzelm [Sun, 18 Jan 2009 16:42:43 +0100] rev 29551
join_results: when dependencies are resulved (but not finished yet),
always continue execution as worker thread -- improved parallelism
at the cost of some reactivity;
wenzelm [Sun, 18 Jan 2009 16:33:09 +0100] rev 29550
with_attributes: make double sure that unsafe attributes are avoided;
nipkow [Sun, 18 Jan 2009 13:58:17 +0100] rev 29549
bug fixes
nipkow@lapbroy100.local [Sun, 18 Jan 2009 13:53:15 +0100] rev 29548
bug fixes