| Sun, 25 Jul 2021 16:38:16 +0200 | wenzelm | updated for Isabelle2021 release; | changeset | files |
| Sun, 25 Jul 2021 16:12:23 +0200 | wenzelm | back to stackage lts-17.10, to make this work on vmnipkow9 (Windows Server 2012 R2); | changeset | files |
| Sun, 25 Jul 2021 14:46:08 +0200 | wenzelm | update to Haskell stack-2.7.3 and stackage lts-17.15; | changeset | files |
| Sun, 25 Jul 2021 12:43:07 +0200 | wenzelm | clarified version: Apple now counts like 11, 12, ...; | changeset | files |
| Sat, 24 Jul 2021 20:25:36 +0200 | wenzelm | clarified signature; | changeset | files |
| Sat, 24 Jul 2021 19:55:10 +0200 | wenzelm | clarified compiler output: allow multithreaded execution; | changeset | files |