isabelle: Changelog

wenzelm [Tue, 27 Jan 2009 12:59:38 +0100] rev 29639

merged

wenzelm [Tue, 27 Jan 2009 12:59:22 +0100] rev 29638

added share_common_data -- reduces heap space, but takes long;

wenzelm [Tue, 27 Jan 2009 12:57:24 +0100] rev 29637

use https;

wenzelm [Tue, 27 Jan 2009 00:42:12 +0100] rev 29636

thm_proof: replaced lazy by composed futures;

wenzelm [Tue, 27 Jan 2009 00:29:37 +0100] rev 29635

proof_body: turned lazy into future -- ensures that body is fulfilled eventually, without explicit force;

haftmann [Mon, 26 Jan 2009 22:15:35 +0100] rev 29634

explicit constraints

haftmann [Mon, 26 Jan 2009 22:14:51 +0100] rev 29633

entry point for Word library now named Word

haftmann [Mon, 26 Jan 2009 22:14:19 +0100] rev 29632

fixed reading of class specs: declare class operations in context

haftmann [Mon, 26 Jan 2009 22:14:18 +0100] rev 29631

stripped Id

haftmann [Mon, 26 Jan 2009 22:14:17 +0100] rev 29630

streamlined definitions, executable equality

isabelle