S.A.Owens at kent.ac.uk
Sun Jan 15 12:47:25 UTC 2017
It looks like data_to_word is broken too.
> On 2017/01/15, at 12:46, Scott Owens <S.A.Owens at kent.ac.uk> wrote:
> After merging master into env-refactor, word_bignumTheory doesn’t build, complaining of a missing mc_multiword theory.
> Developers mailing list
> Developers at cakeml.org
More information about the Developers