Re: [isabelle] Build problems on Windows

> What happens with the shell command-line tool?

I'm not sure how to invoke that. This is a headless installation where I
simply extracted the Tarball (which worked perfectly on the other machine).

> Does the other Windows box have the same version of Windows?

No, it's got Windows 10.

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.