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
> 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.
isabelle-dev mailing list