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