isabelle: Changelog

haftmann [Wed, 17 Jun 2009 10:07:22 +0200] rev 31676

more precise dependencies

haftmann [Wed, 17 Jun 2009 10:07:15 +0200] rev 31675

fixed grammar

haftmann [Wed, 17 Jun 2009 09:08:28 +0200] rev 31674

obey SML syntax even more closely

haftmann [Wed, 17 Jun 2009 08:31:13 +0200] rev 31673

merged

haftmann [Wed, 17 Jun 2009 08:21:27 +0200] rev 31672

obey SML syntax more closely

haftmann [Wed, 17 Jun 2009 08:13:05 +0200] rev 31671

datatype packages: record datatype_config for configuration flags; less verbose signatures

haftmann [Tue, 16 Jun 2009 17:27:10 +0200] rev 31670

merged

haftmann [Tue, 16 Jun 2009 16:37:58 +0200] rev 31669

ignore in-situ contrib symlinks

haftmann [Tue, 16 Jun 2009 16:37:07 +0200] rev 31668

datatype packages: record datatype_config for configuration flags; less verbose signatures

haftmann [Tue, 16 Jun 2009 16:36:56 +0200] rev 31667

dropped ID

isabelle