isabelle: Changelog

wenzelm [Mon, 23 Nov 2009 22:35:54 +0100] rev 33872

added command 'ProofGeneral.pr' for PG 4.0;

bulwahn [Mon, 23 Nov 2009 21:56:07 +0100] rev 33871

merged

bulwahn [Mon, 23 Nov 2009 19:42:52 +0100] rev 33870

improving the setup for the tabled transitive closure thanks to usage of Andreas Lochbihler

wenzelm [Mon, 23 Nov 2009 21:24:15 +0100] rev 33869

updated for release;

ballarin [Mon, 23 Nov 2009 21:04:00 +0100] rev 33868

Generated files.

ballarin [Mon, 23 Nov 2009 21:03:49 +0100] rev 33867

Typos in documenation.

haftmann [Mon, 23 Nov 2009 19:03:16 +0100] rev 33866

ANNOUNCE

blanchet [Mon, 23 Nov 2009 17:27:43 +0100] rev 33865

merge

blanchet [Mon, 23 Nov 2009 17:26:32 +0100] rev 33864

fix Nitpick soundness bugs related to integration (in particular, "code_numeral")

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

generate arguments of relational composition in the right order in Nitpick

isabelle