Thu, 31 Aug 2017 19:34:43 +0200 | wenzelm | template for $ISABELLE_HOME_USER/ROOTS; | changeset | files |
Thu, 31 Aug 2017 19:29:42 +0200 | wenzelm | tuned; | changeset | files |
Thu, 31 Aug 2017 19:06:14 +0200 | wenzelm | clarified signature: provide all_known information uniformly (it is subject to Sessions.T selection); | changeset | files |