[isabelle-dev] Isabelle build only works in certain directories
makarius at sketis.net
Mon Jul 2 14:53:05 CEST 2018
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?
More information about the isabelle-dev