| Fri, 27 Jul 2012 12:43:58 +0200 | wenzelm | simplified Session.name; | changeset | files |
| Fri, 27 Jul 2012 12:29:07 +0200 | wenzelm | more precise imitation of usedir wrt. Session.name (cf. 45137257399a); | changeset | files |
| Fri, 27 Jul 2012 08:52:40 +0200 | blanchet | update docs | changeset | files |