Mon, 28 Sep 2020 18:34:27 +0100 | paulson | merged | changeset | files |
Mon, 28 Sep 2020 18:34:15 +0100 | paulson | de-applying | changeset | files |
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 |
Mon, 28 Sep 2020 16:43:49 +0200 | wenzelm | more standard and more robust, following hints on the Net; | changeset | files |