[isabelle-dev] Building Pure on Windows

[Fabian Meier]

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>