On Thu, 1 Oct 2009, Alexander Krauss wrote:
> Lawrence Paulson wrote:
>> I have just done a fetch and can no longer build Isabelle/HOL.
>
> confirmed for current tip: 0059238fe4bc
It should work again in e72347dd3e64.
As Alex was pointing out, it makes only sense to speak about repository
versi
Lawrence Paulson wrote:
> I have just done a fetch and can no longer build Isabelle/HOL.
confirmed for current tip: 0059238fe4bc
Alex
I have just done a fetch and can no longer build Isabelle/HOL. I hope
somebody can fix this soon.
Larry
Building HOL ...
HOL FAILED
(see also /Users/lp15/.isabelle/heaps//polyml-5.2.1_x86-darwin/log/HOL)
*** Warning: Pattern is not exhaustive. Found near
*** val ( [ isom_def], cdef_thy) = |>(