On 11/08/2020 17:00, Makarius wrote:
> On 09/08/2020 20:28, Makarius wrote:
>> On 09/08/2020 19:55, Lawrence Paulson wrote:
>>> What on Earth is this?
>>>
>>>> 17:40:59 Loading theory "Nullstellensatz.Nullstellensatz_Field"
>>>> 17:40:59 ### theory "Nullstellensatz.Nullstellensatz_Field"
>>>> 17:40:59 ### 0.649s elapsed time, 3.076s cpu time, 0.000s GC time
>>>> 17:40:59 *** exception Fail raised (line 683 of "statistics.cpp"): No
>>>> statistics available
>>
>> I guess it is a situation that David Matthews has described to me privately:
>> $HOME/.polyml is somehow filled up and should be purged.
>
> David Matthews has solved this particular problem on his side already some
> days ago, but presently I cannot follow the Poly/ML repository, because there
> are othe problems (see Isabelle/284d6c06cbfb).
David Mattews has pushed more changes, so we are now on
polyml-test-f54aa41240d0 in Isabelle/c500f6c86e86.
There is some chance that all odd problems from the past couple of months are
now solved.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
