| Thu, 15 Oct 2009 10:59:10 +0200 | wenzelm | misc tuning and clarification; | changeset | files |
| Thu, 15 Oct 2009 00:55:29 +0200 | wenzelm | structure ATP_Manager: eliminated slightly odd get/set operations in favour of Unsynchronized.ref; | changeset | files |
| Wed, 14 Oct 2009 23:44:37 +0200 | wenzelm | modernized structure names; | changeset | files |
| Wed, 14 Oct 2009 23:13:38 +0200 | wenzelm | show direct GC time (which is included in CPU time); | changeset | files |