[isabelle-dev] HOL FAILED

Makarius makarius at sketis.net
Thu Oct 1 14:15:15 CEST 2009

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.


More information about the isabelle-dev mailing list