[isabelle-dev] Complete Distributive Lattice

viorel.preoteasa at gmail.com viorel.preoteasa at gmail.com
Sat Mar 10 13:04:17 CET 2018

It did not work in jEdit. I must have overlooked that file the first time.


-----Original Message-----
From: Manuel Eberl <eberlm at in.tum.de> 
Sent: Saturday, March 10, 2018 2:01 PM
To: viorel.preoteasa at gmail.com; isabelle-dev at mailbroy.informatik.tu-muenchen.de
Subject: Re: [isabelle-dev] Complete Distributive Lattice

Verbose mode ("-v") can sometimes help, because you at least see what Isabelle is doing.

Another thing you can do is add "-o timeout=600" to your invocation of isabelle build. Then the build will be stopped after 600 seconds and the log file might help you identify what theory is causing the problem.

However, I am still a bit puzzled by the fact that, according to what you said, everything seems to run through in Isabelle/jEdit. That's not impossible, but it is somewhat unusual.


On 10/03/18 12:46, viorel.preoteasa at gmail.com wrote:
> I managed to identify this problem. It was one file that did not finish. I made a new session and added the Library files little by little until I found the once causing problems.
> When you build a session, is it possible to find out what file(s) cause problems? If I would know that a certain file takes a certain amount of time, and it does not finish, then I could pin point the problem.
> Viorel

More information about the isabelle-dev mailing list