isabelle: Changelog

haftmann [Thu, 02 Sep 2010 11:42:50 +0200] rev 39033

merged

haftmann [Thu, 02 Sep 2010 11:42:40 +0200] rev 39032

Table.map replaces Table.map'

haftmann [Thu, 02 Sep 2010 10:33:13 +0200] rev 39031

dropped dead code; tuned

haftmann [Thu, 02 Sep 2010 10:29:50 +0200] rev 39030

include names need not be considered as reserved any longer

haftmann [Thu, 02 Sep 2010 10:29:49 +0200] rev 39029

skip empty name bunches; fill up trailing positions with NONEs

haftmann [Thu, 02 Sep 2010 10:29:48 +0200] rev 39028

use code_namespace module for SML and OCaml code

haftmann [Thu, 02 Sep 2010 10:29:48 +0200] rev 39027

Table.map replaces Table.map'

haftmann [Thu, 02 Sep 2010 10:29:47 +0200] rev 39026

avoid cyclic modules

haftmann [Thu, 02 Sep 2010 08:35:16 +0200] rev 39025

merged

haftmann [Wed, 01 Sep 2010 17:21:50 +0200] rev 39024

simultaneous modification of statements: statement names

isabelle