2011-07-11 agotuned XML.Cache parameters;
wenzelm [Mon, 11 Jul 2011 10:27:50 +0200] rev 43745
tuned XML.Cache parameters;

2011-07-10 agosome support to invoke Scala methods under program control;
wenzelm [Sun, 10 Jul 2011 23:46:05 +0200] rev 43744
some support to invoke Scala methods under program control;

2011-07-10 agomerged;
wenzelm [Sun, 10 Jul 2011 21:46:41 +0200] rev 43743
merged;

2011-07-10 agomerged
haftmann [Sun, 10 Jul 2011 21:39:03 +0200] rev 43742
merged

2011-07-10 agotuned proofs and notation
haftmann [Sun, 10 Jul 2011 15:45:35 +0200] rev 43741
tuned proofs and notation

2011-07-10 agomore succinct proofs
haftmann [Sun, 10 Jul 2011 14:26:07 +0200] rev 43740
more succinct proofs

2011-07-10 agomore succinct proofs
haftmann [Sun, 10 Jul 2011 14:14:19 +0200] rev 43739
more succinct proofs

2011-07-10 agoadding a very liberal timeout for values after a test case failed due to the restricted timeout
bulwahn [Sun, 10 Jul 2011 19:33:27 +0200] rev 43738
adding a very liberal timeout for values after a test case failed due to the restricted timeout

2011-07-10 agoimproved NEWS
bulwahn [Sun, 10 Jul 2011 14:02:27 +0200] rev 43737
improved NEWS

2011-07-09 agoNEWS
bulwahn [Sat, 09 Jul 2011 21:18:20 +0200] rev 43736
NEWS