Mon, 19 Jan 2009 23:40:29 +0100 more robust handling of quick_and_dirty;
wenzelm [Mon, 19 Jan 2009 23:40:29 +0100] rev 29568
more robust handling of quick_and_dirty;
Mon, 19 Jan 2009 21:20:18 +0100 Merged, overriding earlier fix.
ballarin [Mon, 19 Jan 2009 21:20:18 +0100] rev 29567
Merged, overriding earlier fix.
Mon, 19 Jan 2009 20:37:08 +0100 Fixed tutorial to compile with new locales; grammar of new locale commands.
ballarin [Mon, 19 Jan 2009 20:37:08 +0100] rev 29566
Fixed tutorial to compile with new locales; grammar of new locale commands.
Mon, 19 Jan 2009 20:05:41 +0100 removed Ids;
wenzelm [Mon, 19 Jan 2009 20:05:41 +0100] rev 29565
removed Ids;
Mon, 19 Jan 2009 19:38:03 +0100 removed Ids;
wenzelm [Mon, 19 Jan 2009 19:38:03 +0100] rev 29564
removed Ids;
Mon, 19 Jan 2009 16:03:04 +0100 intern names of elements and attributes;
wenzelm [Mon, 19 Jan 2009 16:03:04 +0100] rev 29563
intern names of elements and attributes;
Mon, 19 Jan 2009 13:38:59 +0100 merged
haftmann [Mon, 19 Jan 2009 13:38:59 +0100] rev 29562
merged
Mon, 19 Jan 2009 13:38:23 +0100 lcp = paulson
haftmann [Mon, 19 Jan 2009 13:38:23 +0100] rev 29561
lcp = paulson
Mon, 19 Jan 2009 13:37:24 +0100 "code equation" replaces "defining equation"
haftmann [Mon, 19 Jan 2009 13:37:24 +0100] rev 29560
"code equation" replaces "defining equation"
Mon, 19 Jan 2009 08:16:43 +0100 tuned
haftmann [Mon, 19 Jan 2009 08:16:43 +0100] rev 29559
tuned
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip