[isabelle-dev] HOL FAILED
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