testboard: Changelog

haftmann [Tue, 08 Jan 2008 11:37:37 +0100] rev 25866

normalization conversion

haftmann [Tue, 08 Jan 2008 11:37:32 +0100] rev 25865

tuned comment

haftmann [Tue, 08 Jan 2008 11:37:30 +0100] rev 25864

explicit type variables for instantiation

haftmann [Tue, 08 Jan 2008 11:37:29 +0100] rev 25863

better error reporting

haftmann [Tue, 08 Jan 2008 11:37:28 +0100] rev 25862

tuned

haftmann [Tue, 08 Jan 2008 11:37:27 +0100] rev 25861

refined overloading target

berghofe [Tue, 08 Jan 2008 10:24:34 +0100] rev 25860

imp_conv_disj is now declared as a "code unfold" lemma to avoid that conclusion is evaluated eagerly.

wenzelm [Mon, 07 Jan 2008 11:40:20 +0100] rev 25859

isabelle.jars: temporarily disabled, until isatest gets up-to-date java;

urbanc [Mon, 07 Jan 2008 02:24:24 +0100] rev 25858

some pre-release tunings

wenzelm [Sun, 06 Jan 2008 19:18:01 +0100] rev 25857

more robust console thread (cf. jedit plugin version);

testboard