Thu, 17 Feb 2011 09:31:29 +0100 more idiomatic printing of let cascades and type variable constraints
haftmann [Thu, 17 Feb 2011 09:31:29 +0100] rev 41781
more idiomatic printing of let cascades and type variable constraints
Fri, 18 Feb 2011 17:05:19 +0100 merged
wenzelm [Fri, 18 Feb 2011 17:05:19 +0100] rev 41780
merged
Fri, 18 Feb 2011 17:03:30 +0100 modernized specifications;
wenzelm [Fri, 18 Feb 2011 17:03:30 +0100] rev 41779
modernized specifications;
Fri, 18 Feb 2011 16:36:42 +0100 modernized specifications;
wenzelm [Fri, 18 Feb 2011 16:36:42 +0100] rev 41778
modernized specifications;
Fri, 18 Feb 2011 16:22:27 +0100 more precise headers;
wenzelm [Fri, 18 Feb 2011 16:22:27 +0100] rev 41777
more precise headers;
Fri, 18 Feb 2011 16:11:58 +0100 less verbose tracing;
wenzelm [Fri, 18 Feb 2011 16:11:58 +0100] rev 41776
less verbose tracing;
Fri, 18 Feb 2011 16:07:32 +0100 standardized headers;
wenzelm [Fri, 18 Feb 2011 16:07:32 +0100] rev 41775
standardized headers;
Fri, 18 Feb 2011 15:46:13 +0100 modernized specifications;
wenzelm [Fri, 18 Feb 2011 15:46:13 +0100] rev 41774
modernized specifications;
Fri, 18 Feb 2011 16:30:44 +0100 gracious timeout in "blocking" mode
blanchet [Fri, 18 Feb 2011 16:30:44 +0100] rev 41773
gracious timeout in "blocking" mode
Fri, 18 Feb 2011 16:19:08 +0100 make Nitpick's timeout mechanism somewhat more reliable/friendly;
blanchet [Fri, 18 Feb 2011 16:19:08 +0100] rev 41772
make Nitpick's timeout mechanism somewhat more reliable/friendly; avoid producing warnings when invoked in "auto" mode
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip