[isabelle-dev] HOL FAILED

2009-10-01 Thread Makarius
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

[isabelle-dev] HOL FAILED

2009-10-01 Thread Alexander Krauss
Lawrence Paulson wrote: > I have just done a fetch and can no longer build Isabelle/HOL. confirmed for current tip: 0059238fe4bc Alex

[isabelle-dev] HOL FAILED

2009-10-01 Thread Lawrence Paulson
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) = |>(