Wed, 15 Aug 2018 13:08:25 +0200 | wenzelm | Added tag Isabelle2018 for changeset 91162dd89571 | changeset | files |
Wed, 15 Aug 2018 13:21:14 +0200 | wenzelm | merged | changeset | files |
Wed, 15 Aug 2018 13:02:48 +0200 | wenzelm | canonical session directories in correspondence to Known.files; | changeset | files |