On 11/08/17 22:59, Makarius wrote:
> Poly/ML 5.7 does not work for Isabelle
> In the meantime, David Matthews has revised many things, so it probably
> works again, but it needs systematic testing on all platforms and
> 32/64bit combinations.

I have made some experiments with the Poly/ML repository version
938336aeb7eb from 02-Aug-2017, but it does not quite work (problem with

David Matthews is in the middle of substantial changes again, so this is
probably to be expected.

isabelle-dev mailing list

Reply via email to