Fri, 25 Nov 2022 10:49:46 +0100 | wenzelm | prefer deterministic result; | changeset | files |
Thu, 24 Nov 2022 14:22:43 +0100 | wenzelm | clarified command-line arguments: follow more recent isabelle build_XYZ; | changeset | files |
Wed, 23 Nov 2022 11:48:07 +0100 | blanchet | compile | changeset | files |