[isabelle-dev] Isabelle build only works in certain directories

[Makarius]

On 02/07/18 14:50, Makarius wrote:
> 
> So there must be something else in your setup.

Do you maybe have a non-standard Python installation on macOS?


	Makarius