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