Stream: General

Topic: isabelle server is slow

Andrea Vezzosi (Nov 02 2023 at 08:59):

Hi,

I have been trying to use isabelle server to programmatically check theories, but I noticed timings of ~20s for even quite small ones. In comparison Isabelle/jEdit takes less than 4s for the same theory (including loading up the base session heap).

What could be the source of the difference? I believe they are both built on top of the PIDE framework. Is there some option/flag I should be looking into?

Last updated: Dec 21 2024 at 12:33 UTC