haftmann [Thu, 29 Jul 2010 12:28:45 +0200] rev 38316
rebinding ref is illegal
haftmann [Thu, 29 Jul 2010 12:28:45 +0200] rev 38315
tuned example
haftmann [Thu, 29 Jul 2010 12:28:45 +0200] rev 38314
intermediate operation avoids invariance problem in Scala
blanchet [Thu, 29 Jul 2010 12:07:09 +0200] rev 38313
merged
blanchet [Thu, 29 Jul 2010 09:47:23 +0200] rev 38312
kill polymorphic "val"s
blanchet [Thu, 29 Jul 2010 09:41:49 +0200] rev 38311
improved ATP error handling some more
blanchet [Thu, 29 Jul 2010 00:28:57 +0200] rev 38310
shorter URL
blanchet [Wed, 28 Jul 2010 23:44:18 +0200] rev 38309
mention version numbers
blanchet [Wed, 28 Jul 2010 23:05:35 +0200] rev 38308
fiddled with usage text
blanchet [Wed, 28 Jul 2010 23:01:27 +0200] rev 38307
handle Perl and "libwww-perl" failures more gracefully, giving the user some clues about what goes on