isabelle: Admin/haskell/stack/README@8ff7a0e394f9 (annotated)

69419 8985ee17bfd2 updated to stack-1.9.3; wenzelm parents: 69147 diff changeset	1	This is stack 1.9.3 -- the Haskell Tool Stack.
69147 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
69419 8985ee17bfd2 updated to stack-1.9.3; wenzelm parents: 69147 diff changeset	6	* x86_64-linux: stack-1.9.3-linux-x86_64-static.tar.gz
8985ee17bfd2 updated to stack-1.9.3; wenzelm parents: 69147 diff changeset	7	* x86_64-darwin: stack-1.9.3-osx-x86_64.tar.gz
8985ee17bfd2 updated to stack-1.9.3; wenzelm parents: 69147 diff changeset	8	* x86_64-windows: stack-1.9.3-windows-x86_64.tar.gz
69147 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
69419 8985ee17bfd2 updated to stack-1.9.3; wenzelm parents: 69147 diff changeset	12	07-Dec-2018