isabelle: Changelog

haftmann [Wed, 14 Jul 2010 17:16:02 +0200] rev 37832

braced needed in layout-insensitive syntax

haftmann [Wed, 14 Jul 2010 17:15:58 +0200] rev 37831

repaired some implementations of imperative operations

haftmann [Wed, 14 Jul 2010 16:45:30 +0200] rev 37830

repaired reference implementation for OCaml

haftmann [Wed, 14 Jul 2010 16:45:30 +0200] rev 37829

part of pervasive test

haftmann [Wed, 14 Jul 2010 16:45:30 +0200] rev 37828

avoid ambiguities; tuned

haftmann [Wed, 14 Jul 2010 16:45:29 +0200] rev 37827

repaired of_list implementation for SML, OCaml

haftmann [Wed, 14 Jul 2010 16:13:14 +0200] rev 37826

avoid export_code ... file -

haftmann [Wed, 14 Jul 2010 16:02:50 +0200] rev 37825

explicit optional checking

haftmann [Wed, 14 Jul 2010 15:49:29 +0200] rev 37824

added Isar syntax for code checking

haftmann [Wed, 14 Jul 2010 15:49:29 +0200] rev 37823

corrected import

isabelle