[isabelle-dev] Word Libraries

[Makarius]

On 12/08/2021 20:30, Florian Haftmann wrote:
>>> I have finished polishing the bit and word material as envisaged before
>>> the next Isabelle release.
>>
>> Is this failure a consequence of it? (Seen in current Isabelle/0f051404f487 +
>> AFP/bd6c4c7c76ec)
>>
>> Native_Word FAILED
>> (see also
>> /Users/wenzelm/.isabelle/heaps/polyml-5.8.2_x86_64_32-darwin/log/Native_Word)
> 
> This should work again in AFP rev. d8cd1583a4f6

OK. It looks fine.


	Makarius