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
haftmann [Thu, 29 Jul 2010 09:57:10 +0200] rev 38306
merged
haftmann [Thu, 29 Jul 2010 09:57:00 +0200] rev 38305
tuned printing of applications and let cascades
haftmann [Thu, 29 Jul 2010 09:56:59 +0200] rev 38304
checking Scala_imp
haftmann [Thu, 29 Jul 2010 09:56:59 +0200] rev 38303
proper unit type in transformed program
haftmann [Thu, 29 Jul 2010 08:16:49 +0200] rev 38302
merged
haftmann [Wed, 28 Jul 2010 14:11:48 +0200] rev 38301
merged