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? Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev