Mon, 30 Aug 2021 21:45:05 +0200 | wenzelm | more Isabelle/Haskell operations; | changeset | files |
Mon, 30 Aug 2021 21:41:37 +0200 | wenzelm | more Isabelle/Haskell operations; | changeset | files |
Mon, 30 Aug 2021 21:18:49 +0200 | wenzelm | avoid change of existing file, notably rebuild via ghc_stack; | changeset | files |