On 02/02/2019 15:37, Lawrence Paulson wrote:
> This worked — thanks!
>
>> On 2 Feb 2019, at 13:56, Makarius <makar...@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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
