[isabelle-dev] Time

Makarius makarius at sketis.net
Wed Aug 30 21:59:40 CEST 2017

On 30/08/17 09:21, Tobias Nipkow wrote:
> I have intentionally not included anything from the AFP. However, importing
> an AFP session does not seem to make matters worse (although adding -d
> '$AFP'
> to isabelle jedit does add 20 secs startup time.)

That is a different thing: the Prover IDE potentially needs to edit
everything, so all sessions with their theories need to be explored

This is apt to become a problem on Windows or on a networked file-system.


More information about the isabelle-dev mailing list