isabelle: Changelog

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

haftmann [Tue, 16 Jun 2009 16:26:40 +0200] rev 31666

denominator should not be zero

haftmann [Tue, 16 Jun 2009 14:56:59 +0200] rev 31665

tuned brackets for let expressions etc.

huffman [Tue, 16 Jun 2009 22:07:39 -0700] rev 31664

merged

huffman [Tue, 16 Jun 2009 00:01:32 -0700] rev 31663

smult_dvd lemmas; polynomial gcd

isabelle