wenzelm [Fri, 17 Dec 2010 22:23:56 +0100] rev 41254
extra checking of name bindings for classes, types, consts;
tuned;
wenzelm [Fri, 17 Dec 2010 20:21:35 +0100] rev 41253
more explicit references to structure Raw_Simplifier;
wenzelm [Fri, 17 Dec 2010 18:38:33 +0100] rev 41252
merged
wenzelm [Fri, 17 Dec 2010 18:33:35 +0100] rev 41251
merged
wenzelm [Fri, 17 Dec 2010 18:15:56 +0100] rev 41250
merged
wenzelm [Fri, 17 Dec 2010 18:10:37 +0100] rev 41249
Command 'type_synonym' (with single argument) supersedes 'types' (legacy feature);
haftmann [Fri, 17 Dec 2010 18:32:40 +0100] rev 41248
dropped slightly odd Conv.tap_thy
haftmann [Fri, 17 Dec 2010 18:24:44 +0100] rev 41247
avoid slightly odd Conv.tap_thy
haftmann [Fri, 17 Dec 2010 18:24:44 +0100] rev 41246
allocate intermediate directories in module hierarchy
blanchet [Fri, 17 Dec 2010 16:55:27 +0100] rev 41245
export experimental options