* Exit batch file if any of the cabal-dev installs fail. * There's no longer any need to reinstall highlighting-kate. * Don't start with a 'cabal update'; leave that to the user.
* Exit batch file if any of the cabal-dev installs fail. * There's no longer any need to reinstall highlighting-kate. * Don't start with a 'cabal update'; leave that to the user.