[isabelle-dev] Isabelle component csdp-6.x is 32-Bit [macOS]
lp15 at cam.ac.uk
Wed Nov 27 19:32:12 CET 2019
I can confirm that the sos method (without an argument) fails under Catalina. See e.g. HOL/ex/SOS.thy.
> On 27 Nov 2019, at 18:28, Lawrence Paulson <lp15 at cam.ac.uk> wrote:
> It’s for the sos method. Didn’t realise we were losing this.
> See https://www.cl.cam.ac.uk/~jrh13/slides/mit-16apr10/slides.pdf
More information about the isabelle-dev