On Tue, 18 Mar 2014, Brian Huffman wrote:
Do you see the slowdown in batch mode, interactively, or both?
A batch build can go up from 2min to 3min, depending on hardware. The
session used to be in the range of 5min some years ago, then < 1min in the
best situation, now again a bit more than that.
As long as it practically not very relevant that is fine, but there might
be a more serious problem behind it.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
