[isabelle-dev] Building Pure on Windows
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.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the isabelle-dev