isabelle: Changelog

haftmann [Thu, 14 Jan 2010 18:42:15 +0100] rev 34904

merged

haftmann [Thu, 14 Jan 2010 17:54:55 +0100] rev 34903

dropped unused binding

haftmann [Thu, 14 Jan 2010 17:54:54 +0100] rev 34902

dedicated conversions to and from Int

haftmann [Thu, 14 Jan 2010 17:47:39 +0100] rev 34901

printing of cases

haftmann [Thu, 14 Jan 2010 17:47:39 +0100] rev 34900

tuned for products vs. tupled functions

haftmann [Thu, 14 Jan 2010 17:47:39 +0100] rev 34899

added Scala setup

haftmann [Thu, 14 Jan 2010 17:47:38 +0100] rev 34898

allow individual printing of numerals during code serialization

blanchet [Thu, 14 Jan 2010 15:06:38 +0100] rev 34897

reorder Quickcheck and Nitpick, so that Quickcheck gets loaded first and Auto-Quickcheck runs first (since it takes less time)

haftmann [Thu, 14 Jan 2010 09:18:08 +0100] rev 34896

adjusted to changes in code equation administration

haftmann [Wed, 13 Jan 2010 12:20:37 +0100] rev 34895

explicit abstract type of code certificates

isabelle