[isabelle-dev] HOL FAILED

Alexander Krauss krauss at in.tum.de
Thu Oct 1 14:00:52 CEST 2009

Previous message (by thread): [isabelle-dev] HOL FAILED
Next message (by thread): [isabelle-dev] HOL FAILED
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Lawrence Paulson wrote:
> I have just done a fetch and can no longer build Isabelle/HOL.

confirmed for current tip: 0059238fe4bc

Alex

Previous message (by thread): [isabelle-dev] HOL FAILED
Next message (by thread): [isabelle-dev] HOL FAILED
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list