On 24 February 2016 at 15:14, Makarius <makar...@sketis.net> wrote: > > How does this compare to your other Cygwin installation?
I installed the version from http://isabelle.in.tum.de/cygwin_2016, but there was no change in the result, still the same error. A new process environment is not immediately visible. So "nothing happens" > looks like a success. > I didn't notice that. When I now run both commands and then echo $? I get 127 as result both times. Cheers Fabian
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
