isabelle: Changelog

haftmann [Wed, 09 Sep 2009 12:27:41 +0200] rev 32546

merged

haftmann [Wed, 09 Sep 2009 12:27:12 +0200] rev 32545

explicit transfer avoids spurious merge problems

haftmann [Wed, 09 Sep 2009 11:31:20 +0200] rev 32544

moved eq handling in nbe into separate oracle

wenzelm [Tue, 08 Sep 2009 18:31:26 +0200] rev 32543

tuned document -- proper text instead of source comments, reduced line length;

Philipp Meyer [Tue, 01 Sep 2009 11:19:49 +0200] rev 32542

fixed cleanup routine in neos csdp script

boehmes [Tue, 08 Sep 2009 09:57:33 +0200] rev 32541

timeout option for ATPs

wenzelm [Mon, 07 Sep 2009 22:13:32 +0200] rev 32540

merged

wenzelm [Mon, 07 Sep 2009 22:12:16 +0200] rev 32539

modernized Event_Bus -- based on actors;

nipkow [Mon, 07 Sep 2009 22:08:05 +0200] rev 32538

Fixed "minimal" to cover the case that "p []" holds (excluded in the article by Bradley & Manna)

nipkow [Mon, 07 Sep 2009 19:41:30 +0200] rev 32537

merged

isabelle