| Sat, 04 Aug 2012 22:23:48 +0200 | wenzelm | queue ordering by descending outdegree and timeout; | changeset | files |
| Sat, 04 Aug 2012 21:48:09 +0200 | wenzelm | tuned import; | changeset | files |
| Sat, 04 Aug 2012 21:45:41 +0200 | wenzelm | clarified Session_Tree (with proper integrity check) vs. Queue (with provision for alternative ordering); | changeset | files |
| Sat, 04 Aug 2012 20:28:35 +0200 | wenzelm | clarified Session_Entry vs. Session_Info with related parsing operations; | changeset | files |
| Sat, 04 Aug 2012 18:05:14 +0200 | wenzelm | simplified class Job; | changeset | files |
| Sat, 04 Aug 2012 17:26:30 +0200 | wenzelm | let with_timing report overall number of threads; | changeset | files |