Admin/haskell/stack/settings
12 months ago wenzelm 2018-10-17 isabelle_stack as portable shell function;