| Thu, 02 Jul 2009 15:37:22 +0200 | wenzelm | fixed document (DERIV_intros); | changeset | files |
| Tue, 30 Jun 2009 22:23:33 +0200 | wenzelm | more detailed timing message; | changeset | files |
| Tue, 30 Jun 2009 22:12:46 +0200 | wenzelm | default to maximum max_threads; | changeset | files |