isabelle: Changelog

blanchet [Wed, 28 Jul 2010 23:01:27 +0200] rev 38061

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 38060

merged

haftmann [Thu, 29 Jul 2010 09:57:00 +0200] rev 38059

tuned printing of applications and let cascades

haftmann [Thu, 29 Jul 2010 09:56:59 +0200] rev 38058

checking Scala_imp

haftmann [Thu, 29 Jul 2010 09:56:59 +0200] rev 38057

proper unit type in transformed program

haftmann [Thu, 29 Jul 2010 08:16:49 +0200] rev 38056

merged

haftmann [Wed, 28 Jul 2010 14:11:48 +0200] rev 38055

merged

haftmann [Wed, 28 Jul 2010 12:12:32 +0200] rev 38054

tuned; added pretty numerals for code generation

haftmann [Wed, 28 Jul 2010 12:12:29 +0200] rev 38053

may use `int` in Isabelle runtime environment

haftmann [Wed, 28 Jul 2010 14:09:56 +0200] rev 38052

dropped dead code

isabelle