haftmann [Wed, 09 Sep 2009 12:24:22 +0200] rev 32547
dropped accidental code additions
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
nipkow [Mon, 07 Sep 2009 19:41:07 +0200] rev 32536
tuned stats
paulson [Mon, 07 Sep 2009 17:02:15 +0100] rev 32535
Fixed a few problems with the method metisFT
nipkow [Mon, 07 Sep 2009 16:25:12 +0200] rev 32534
merged
nipkow [Mon, 07 Sep 2009 16:24:32 +0200] rev 32533
tuned stats