| Sun, 25 Jul 2021 14:46:08 +0200 | wenzelm | update to Haskell stack-2.7.3 and stackage lts-17.15; | file | diff | annotate |
| Fri, 07 Dec 2018 14:58:32 +0100 | wenzelm | updated to stack-1.9.3; | file | diff | annotate |
| Wed, 17 Oct 2018 20:06:19 +0200 | wenzelm | isabelle_stack as portable shell function; | file | diff | annotate |