[isabelle-dev] Building Pure on Windows

Fabian Meier meiefabi at student.ethz.ch
Wed Feb 24 16:14:17 CET 2016

On 24 February 2016 at 15:14, Makarius <makarius at 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20160224/70c6de3d/attachment-0002.html>

More information about the isabelle-dev mailing list