| Mon, 28 Sep 2020 22:22:56 +0200 | wenzelm | some support for document preparation in Isabelle/Scala; | changeset | files |
| Mon, 28 Sep 2020 21:14:47 +0200 | wenzelm | unused (see 7b318273a4aa); | changeset | files |
| Mon, 28 Sep 2020 17:43:31 +0200 | wenzelm | unused (see 564012e31db1); | changeset | files |