[isabelle-dev] Time

Makarius makarius at sketis.net
Wed Aug 30 21:50:15 CEST 2017

On 30/08/17 09:21, Tobias Nipkow wrote:
> I have a timing issue with b8a6f9337229 (and quite possibly other
> revisons):
> isabelle build takes 22 secs before it says "Running ...". Since creating
> latex documents requires many, many iterations, this is extremely
> painful. My
> setup is the following:
> None of my files are part of a Mercurial repository.
> What am I doing wrong? How can I speed things up?

On the spot, I would say: put all files into a local Mercurial repository.

I still need to investigate the details, but it is probably just a very
long failed attempt to find the hg root.

Is this actually a networked file-system, or anything else that is
somehow special?


More information about the isabelle-dev mailing list