Admin/haskell/stack/README
7 months ago wenzelm 2018-12-07 updated to stack-1.9.3; proper settings for Windows;
9 months ago wenzelm 2018-10-17 isabelle_stack as portable shell function;