Lawrence Paulson wrote:
I have just done a fetch and can no longer build Isabelle/HOL.
confirmed for current tip: 0059238fe4bc
Alex
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
versions
Hi all,
I wonder whether the second branch in the repository is intentional. See
http://isabelle.in.tum.de/repos/isabelle/graph/a0f38d8d633a
Unfortunately, it means that my revised locales code is now hidden
from tip :-(
Clemens
Actually, having a closer look at the actual graph, this is a false
alarm. The the visualisation on that web page is misleading if not
wrong.
Clemens
Quoting Clemens Ballarin ballarin at in.tum.de:
Hi all,
I wonder whether the second branch in the repository is intentional. See
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) = |(