| Sat, 28 Jul 2012 20:12:47 +0200 | wenzelm | announce advanced support for Isabelle sessions and build management; | changeset | files |
| Sat, 28 Jul 2012 20:07:21 +0200 | wenzelm | some introduction on sessions; | changeset | files |
| Sat, 28 Jul 2012 19:49:09 +0200 | wenzelm | tuned messages; | changeset | files |