[isabelle-dev] isabelle build is broken?

Lawrence Paulson lp15 at cam.ac.uk
Mon Jan 7 16:55:44 CET 2013


that worked; thanks!
Larry

On 7 Jan 2013, at 15:51, Ondřej Kunčar <kuncar at in.tum.de> wrote:

> On 01/07/2013 04:47 PM, Lawrence Paulson wrote:
>> It seems to me that something is fundamentally broken. Every attempt to build anything results in the following message.




More information about the isabelle-dev mailing list