[isabelle-dev] Isabelle component csdp-6.x is 32-Bit [macOS]

Lawrence Paulson lp15 at cam.ac.uk
Thu Nov 28 17:08:38 CET 2019

I have no idea how components are managed or updated, but I can see that they aren’t stored in the repository. I hope that somebody else (after first perhaps testing that my emailed binary works on their machine) could do this.


> On 28 Nov 2019, at 15:39, Makarius <makarius at sketis.net> wrote:
> When you update the csdp component, please make sure that all platforms work
> uniformly. We can then use that regularly for isabelle-dev.

More information about the isabelle-dev mailing list