Sun, 07 Apr 2019 16:04:08 +0200 | wenzelm | better accessibility of directory content by typing name prefix; | changeset | files |
Sun, 07 Apr 2019 12:44:37 +0200 | wenzelm | uniform JVM heap options for Isabelle/Scala tools and scalac (again); | changeset | files |