Re: [isabelle-dev] Poly/ML 5.7

On 15/05/17 14:33, Makarius wrote: > On 15/05/17 12:14, Makarius wrote: >> Some results can be seen here: >> >> http://isabelle.in.tum.de/devel/build_status/Poly_ML_5.7_Linux/index.html >> http://isabelle.in.tum.de/devel/build_status/Poly_ML_5.7_Linux_2_threads/index.html >> >> The test hardware

Re: [isabelle-dev] Poly/ML 5.7

On 15/05/17 14:24, Makarius wrote: > On 15/05/17 12:29, Lawrence Paulson wrote: >> Version 5.7 doesn’t even build on my main workstation, though it works >> on my MacBook Pro running broadly similar software. No idea what is >> going on here, but I’m not happy about it. > > There are already some

Re: [isabelle-dev] Poly/ML 5.7

On 15/05/17 12:14, Makarius wrote: > Some results can be seen here: > > http://isabelle.in.tum.de/devel/build_status/Poly_ML_5.7_Linux/index.html > http://isabelle.in.tum.de/devel/build_status/Poly_ML_5.7_Linux_2_threads/index.html > > The test hardware is similar or actually the same as "Linux

Re: [isabelle-dev] Poly/ML 5.7

On 15/05/17 12:29, Lawrence Paulson wrote: > Version 5.7 doesn’t even build on my main workstation, though it works > on my MacBook Pro running broadly similar software. No idea what is > going on here, but I’m not happy about it. There are already some mail threads on the Poly/ML list, where

Re: [isabelle-dev] Poly/ML 5.7

Version 5.7 doesn’t even build on my main workstation, though it works on my MacBook Pro running broadly similar software. No idea what is going on here, but I’m not happy about it. Larry > On 15 May 2017, at 11:14, Makarius wrote: > > David Matthews has made the Poly/ML

[isabelle-dev] Poly/ML 5.7

David Matthews has made the Poly/ML 5.7 release snapshot some weeks ago (see https://github.com/polyml/polyml/releases/tag/v5.7), but announced it only last week. I have wrapped that up as a component in Isabelle/d3c5898f1a5e, but that is only for testing, not for production use. Some results can