wenzelm [Tue, 06 Jan 2009 14:43:35 +0100] rev 29368
renamed structure ParList to Par_List;
wenzelm [Tue, 06 Jan 2009 14:33:49 +0100] rev 29367
parallelized merge_data;
wenzelm [Tue, 06 Jan 2009 13:46:48 +0100] rev 29366
tuned map: reduced overhead due to bulk jobs;
tuned join_results: reduced overhead for finished futures;
tuned;
wenzelm [Tue, 06 Jan 2009 13:43:17 +0100] rev 29365
added is_valid;
added extend: support bulk jobs;
tuned;
wenzelm [Tue, 06 Jan 2009 13:36:42 +0100] rev 29364
future_terminal_proof: check Future.enabled;
haftmann [Tue, 06 Jan 2009 08:50:12 +0100] rev 29363
merged
haftmann [Tue, 06 Jan 2009 08:50:02 +0100] rev 29362
locale -> old_locale, new_locale -> locale
haftmann [Mon, 05 Jan 2009 15:55:51 +0100] rev 29361
locale -> old_locale, new_locale -> locale
haftmann [Mon, 05 Jan 2009 15:55:04 +0100] rev 29360
locale -> old_locale, new_locale -> locale
haftmann [Mon, 05 Jan 2009 15:37:49 +0100] rev 29359
removed locale adaption layer