Sat, 20 Aug 2011 18:11:17 +0200 tuned future priorities (again);
wenzelm [Sat, 20 Aug 2011 18:11:17 +0200] rev 44332
tuned future priorities (again);
Sat, 20 Aug 2011 16:06:27 +0200 clarified fulfill_norm_proof: no join_thms yet;
wenzelm [Sat, 20 Aug 2011 16:06:27 +0200] rev 44331
clarified fulfill_norm_proof: no join_thms yet; clarified priority of fulfill_proof_future, which is followed by explicit join_thms; explicit Thm.future_body_of without join yet; tuned Thm.future_result: join_promises without fulfill_norm_proof;
Sat, 20 Aug 2011 15:52:29 +0200 added Future.joins convenience;
wenzelm [Sat, 20 Aug 2011 15:52:29 +0200] rev 44330
added Future.joins convenience; clarified Future.map: based on Future.cond_forks;
Sat, 20 Aug 2011 09:42:34 +0200 merged
haftmann [Sat, 20 Aug 2011 09:42:34 +0200] rev 44329
merged
Sat, 20 Aug 2011 09:42:12 +0200 deactivated »unknown« nitpick example
haftmann [Sat, 20 Aug 2011 09:42:12 +0200] rev 44328
deactivated »unknown« nitpick example
Sat, 20 Aug 2011 09:30:23 +0200 merged
haftmann [Sat, 20 Aug 2011 09:30:23 +0200] rev 44327
merged
Sat, 20 Aug 2011 01:40:22 +0200 tuned proof
haftmann [Sat, 20 Aug 2011 01:40:22 +0200] rev 44326
tuned proof
Sat, 20 Aug 2011 01:39:27 +0200 more uniform formatting of specifications
haftmann [Sat, 20 Aug 2011 01:39:27 +0200] rev 44325
more uniform formatting of specifications
Sat, 20 Aug 2011 01:33:58 +0200 compatibility layer
haftmann [Sat, 20 Aug 2011 01:33:58 +0200] rev 44324
compatibility layer
Sat, 20 Aug 2011 01:21:22 +0200 merged
haftmann [Sat, 20 Aug 2011 01:21:22 +0200] rev 44323
merged
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip