ballarin [Mon, 19 Jan 2009 21:20:18 +0100] rev 29567
Merged, overriding earlier fix.
ballarin [Mon, 19 Jan 2009 20:37:08 +0100] rev 29566
Fixed tutorial to compile with new locales; grammar of new locale commands.
wenzelm [Mon, 19 Jan 2009 20:05:41 +0100] rev 29565
removed Ids;
wenzelm [Mon, 19 Jan 2009 19:38:03 +0100] rev 29564
removed Ids;
wenzelm [Mon, 19 Jan 2009 16:03:04 +0100] rev 29563
intern names of elements and attributes;
haftmann [Mon, 19 Jan 2009 13:38:59 +0100] rev 29562
merged
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;