Admin/haskell/stack/README

clarified signature: let Sledgehammer handle SystemOnTPTP comments;

This is stack 1.9.3 -- the Haskell Tool Stack.

See also https://www.haskellstack.org and executables from
https://github.com/commercialhaskell/stack/releases as follows:

  * x86_64-linux: stack-1.9.3-linux-x86_64-static.tar.gz
  * x86_64-darwin: stack-1.9.3-osx-x86_64.tar.gz
  * x86_64-windows: stack-1.9.3-windows-x86_64.tar.gz


    Makarius
    07-Dec-2018