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
beforehand.
This is apt to become a problem on Windows or on a networked file-system.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
