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.


isabelle-dev mailing list

Reply via email to