[isabelle-dev] Analysis not building

Makarius makarius at sketis.net
Sat Feb 2 16:24:04 CET 2019

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"


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.


More information about the isabelle-dev mailing list