| 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 |