| Tue, 06 Jan 2009 14:43:35 +0100 | wenzelm | renamed structure ParList to Par_List; | changeset | files |
| Tue, 06 Jan 2009 14:33:49 +0100 | wenzelm | parallelized merge_data; | changeset | files |
| Tue, 06 Jan 2009 13:46:48 +0100 | wenzelm | tuned map: reduced overhead due to bulk jobs; | changeset | files |
| Tue, 06 Jan 2009 13:43:17 +0100 | wenzelm | added is_valid; | changeset | files |