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
Larry > On 27 Nov 2019, at 18:20, Clemens Ballarin <[email protected]> wrote: > > While doing 'isabelle build -a', macOS 10.14.4 (Mojave) informs me that > 'csdp' is a 32-bit executable that won't run on Catalina [1]. This is for > revision c9433e8e314e of yesterday. > > The executable is part of the Isabelle component located at > ~/.isabelle/contrib/csdp-6.x. Which functionality depends on this component > and will fail after upgrading to Catalina? _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
