isabelle: Changelog

blanchet [Mon, 23 Nov 2009 14:34:05 +0100] rev 33863

generate arguments of relational composition in the right order in Nitpick

haftmann [Mon, 23 Nov 2009 16:24:28 +0100] rev 33862

CONTRIBUTORS

haftmann [Mon, 23 Nov 2009 16:15:39 +0100] rev 33861

merged

haftmann [Mon, 23 Nov 2009 16:15:18 +0100] rev 33860

tuned NEWS

krauss [Mon, 23 Nov 2009 15:11:21 +0100] rev 33859

do not add host suffix -- it is appended by test framework

krauss [Mon, 23 Nov 2009 15:06:38 +0100] rev 33858

documented size_change in isar-ref manual

krauss [Mon, 23 Nov 2009 15:06:37 +0100] rev 33857

clarified; checked

krauss [Mon, 23 Nov 2009 15:06:34 +0100] rev 33856

mentioned method size_change in function tutorial

krauss [Mon, 23 Nov 2009 15:05:59 +0100] rev 33855

eliminated dead code and some unused bindings, reported by polyml

blanchet [Mon, 23 Nov 2009 13:45:16 +0100] rev 33854

fixed a Kodkod generation exception in Nitpick, reported by a Karlsruhe user

isabelle