[isabelle-dev] Analysis not building
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