| Thu, 02 Oct 2008 23:52:10 +0200 | wenzelm | time factor: one more digit; | changeset | files |
| Thu, 02 Oct 2008 23:30:44 +0200 | wenzelm | more tuning of tracing messages; | changeset | files |
| Thu, 02 Oct 2008 22:09:22 +0200 | wenzelm | include factor in timing report; | changeset | files |