[isabelle-dev] Analysis not building

Lawrence Paulson lp15 at cam.ac.uk
Sat Feb 2 15:37:21 CET 2019

This worked — thanks!

> On 2 Feb 2019, at 13:56, Makarius <makarius at sketis.net> wrote:
> Can you try the following in your $ISABELLE_HOME_USER/etc/settings?
>  init_component "$HOME/.isabelle/contrib/polyml-test-1b2dcf8f5202"
> Apparently, the last two updates on polyml-test were not as monotonic as
> I was hoping, despite clear improvements by David Matthews.

More information about the isabelle-dev mailing list