isabelle: Changelog

haftmann [Fri, 03 Dec 2010 14:00:55 +0100] rev 40934

removed outdated lint script

blanchet [Fri, 03 Dec 2010 10:43:09 +0100] rev 40933

merged

blanchet [Fri, 03 Dec 2010 10:28:39 +0100] rev 40932

compile

blanchet [Fri, 03 Dec 2010 09:55:45 +0100] rev 40931

run synchronous Auto Tools in parallel

krauss [Fri, 03 Dec 2010 10:17:55 +0100] rev 40930

really fixed comment (cf. 7abeb749ae99)

huffman [Fri, 03 Dec 2010 10:03:13 +0100] rev 40929

theorem names generated by the (rep_)datatype command now have mandatory qualifiers

krauss [Fri, 03 Dec 2010 10:03:10 +0100] rev 40928

eliminated unqualified accesses of datatype facts -- it seems like they all of them were unintended

bulwahn [Fri, 03 Dec 2010 09:58:32 +0100] rev 40927

NEWS

bulwahn [Fri, 03 Dec 2010 08:40:47 +0100] rev 40926

only instantiate type variable if there exists some in quickcheck

bulwahn [Fri, 03 Dec 2010 08:40:47 +0100] rev 40925

fixing comment in library

isabelle