| Tue, 24 Jul 2012 21:36:53 +0200 | wenzelm | tuned order; | changeset | files |
| Tue, 24 Jul 2012 21:26:28 +0200 | wenzelm | more build options; | changeset | files |
| Tue, 24 Jul 2012 21:07:54 +0200 | wenzelm | tuned error; | changeset | files |
| Tue, 24 Jul 2012 20:56:18 +0200 | wenzelm | more explicit checks during parsing; | changeset | files |
| Tue, 24 Jul 2012 20:42:34 +0200 | wenzelm | more explicit document = false to reduce warnings; | changeset | files |
| Tue, 24 Jul 2012 20:41:50 +0200 | wenzelm | pass parent_base_name, which is required for Session.init sanity check; | changeset | files |
| Tue, 24 Jul 2012 18:38:07 +0200 | wenzelm | more session entries; | changeset | files |