| Sat, 21 Jul 2012 22:13:50 +0200 | wenzelm | propagate defined options; | file | diff | annotate |
| Thu, 19 Jul 2012 14:24:40 +0200 | wenzelm | support Session.Queue with ordering and dependencies; | file | diff | annotate |
| Wed, 18 Jul 2012 17:22:59 +0200 | wenzelm | some HOL sessions; | file | diff | annotate |