[isabelle-dev] Analysis not building

[Makarius]

On 02/02/2019 15:37, Lawrence Paulson wrote:
> 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"

OK.

With Isabelle/76f2d492627e this is the default, and it is better to
remove the init_component from local etc/settings again, to participate
in further updates of the default.


	Makarius