On 14/04/2025 11:49, Makarius wrote:
> I have tested a recent repository version of Poly/ML https://github.com/
> polyml/polyml/commit/e266a93fe8fe with current Isabelle/9e5f645d6000.
I should also say that this can be built like this:
isabelle component_polyml -V e266a93fe8fe
Makarius