Wed, 11 Apr 2012 15:02:48 +0200 clarified proof_result: finish proof formally via head tr, not end_tr;
wenzelm [Wed, 11 Apr 2012 15:02:48 +0200] rev 47425
clarified proof_result: finish proof formally via head tr, not end_tr;
Wed, 11 Apr 2012 14:20:51 +0200 tuned;
wenzelm [Wed, 11 Apr 2012 14:20:51 +0200] rev 47424
tuned;
Wed, 11 Apr 2012 13:49:09 +0200 more robust Future.fulfill wrt. duplicate assignment and interrupt;
wenzelm [Wed, 11 Apr 2012 13:49:09 +0200] rev 47423
more robust Future.fulfill wrt. duplicate assignment and interrupt;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 tip