isabelle: Admin/haskell/stack/README@6f4d561ea621 (annotated)

69147 6f4d561ea621 isabelle_stack as portable shell function; wenzelm parents: diff changeset	1	This is stack 1.9.1 -- the Haskell Tool Stack.
6f4d561ea621 isabelle_stack as portable shell function; wenzelm parents: diff changeset	2
6f4d561ea621 isabelle_stack as portable shell function; wenzelm parents: diff changeset	3	See also https://www.haskellstack.org and executables from
6f4d561ea621 isabelle_stack as portable shell function; wenzelm parents: diff changeset	4	https://github.com/commercialhaskell/stack/releases as follows:
6f4d561ea621 isabelle_stack as portable shell function; wenzelm parents: diff changeset	5
6f4d561ea621 isabelle_stack as portable shell function; wenzelm parents: diff changeset	6	* x86_64-linux: stack-1.9.1-linux-x86_64-static.tar.gz
6f4d561ea621 isabelle_stack as portable shell function; wenzelm parents: diff changeset	7	* x86_64-darwin: stack-1.9.1-osx-x86_64.tar.gz
6f4d561ea621 isabelle_stack as portable shell function; wenzelm parents: diff changeset	8	* x86_64-windows: stack-1.9.1-windows-x86_64.tar.gz
6f4d561ea621 isabelle_stack as portable shell function; wenzelm parents: diff changeset	9
6f4d561ea621 isabelle_stack as portable shell function; wenzelm parents: diff changeset	10
6f4d561ea621 isabelle_stack as portable shell function; wenzelm parents: diff changeset	11	Makarius
6f4d561ea621 isabelle_stack as portable shell function; wenzelm parents: diff changeset	12	17-Oct-2018