Sun, 06 Jun 2010 17:37:44 +0200Added tag isa2009-2-test1 for changeset d1cdbc7524b6
wenzelm [Sun, 06 Jun 2010 17:37:44 +0200] rev 37339
Added tag isa2009-2-test1 for changeset d1cdbc7524b6

Sat, 05 Jun 2010 07:52:45 +0200merged isa2009-2-test1
haftmann [Sat, 05 Jun 2010 07:52:45 +0200] rev 37338
merged

Fri, 04 Jun 2010 19:36:41 +0200avoid "$"
haftmann [Fri, 04 Jun 2010 19:36:41 +0200] rev 37337
avoid "$"

Fri, 04 Jun 2010 19:36:40 +0200tuned whitespace
haftmann [Fri, 04 Jun 2010 19:36:40 +0200] rev 37336
tuned whitespace

Fri, 04 Jun 2010 17:32:30 +0200avoid flowerish abbreviation
haftmann [Fri, 04 Jun 2010 17:32:30 +0200] rev 37335
avoid flowerish abbreviation

Fri, 04 Jun 2010 17:27:45 +0200merged
wenzelm [Fri, 04 Jun 2010 17:27:45 +0200] rev 37334
merged

Fri, 04 Jun 2010 16:47:36 +0200one all-inclusive bundle for each platform;
wenzelm [Fri, 04 Jun 2010 16:47:36 +0200] rev 37333
one all-inclusive bundle for each platform;

Fri, 04 Jun 2010 15:48:13 +0200more robust handling of additional type variables: warning, more canonical order, drop mixfix syntax if implicit type arguments are introduced (to avoid delusion due to shifted arguments);
wenzelm [Fri, 04 Jun 2010 15:48:13 +0200] rev 37332
more robust handling of additional type variables: warning, more canonical order, drop mixfix syntax if implicit type arguments are introduced (to avoid delusion due to shifted arguments);

Fri, 04 Jun 2010 14:15:56 +0200tuned warning;
wenzelm [Fri, 04 Jun 2010 14:15:56 +0200] rev 37331
tuned warning;

Fri, 04 Jun 2010 16:55:25 +0200merge
blanchet [Fri, 04 Jun 2010 16:55:25 +0200] rev 37330
merge