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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
