[isabelle-dev] HOL FAILED

[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 
versions by giving official changeset ids.  "The repository version" is 
not a defined thing, and can change every minute.


 	Makarius