| Sun, 03 Jul 2011 19:42:32 +0200 | wenzelm | more explicit edit_node vs. init_node; | changeset | files |
| Sun, 03 Jul 2011 15:10:17 +0200 | wenzelm | tuned signature; | changeset | files |
| Sat, 02 Jul 2011 23:31:07 +0200 | wenzelm | Thy_Header.read convenience; | changeset | files |
| Sat, 02 Jul 2011 23:04:19 +0200 | wenzelm | some support for Session.File_Store; | changeset | files |
| Sat, 02 Jul 2011 21:24:19 +0200 | wenzelm | tuned signature; | changeset | files |
| Sat, 02 Jul 2011 20:54:38 +0200 | wenzelm | eliminated redundant session_ready; | changeset | files |