Sun, 21 Aug 2022 13:45:50 +0200 | wenzelm | tuned; | changeset | files |
Sun, 21 Aug 2022 13:44:39 +0200 | wenzelm | tuned comments, following "isabelle build" usage; | changeset | files |
Sun, 21 Aug 2022 13:16:44 +0200 | wenzelm | clarified names; | changeset | files |