[isabelle-dev] Analysis not building

[Lawrence Paulson]

This worked — thanks!
Larry

> 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.