[isabelle-dev] NEWS: proper session directories and faster PIDE startup

Makarius makarius at sketis.net
Thu Sep 12 20:54:08 CEST 2019

On 12/09/2019 20:35, Christian Sternagel wrote:
> While what you say is true and in addition such "build sessions" (we
> have for example "IsaFoR_1", ..., "IsaFoR_4" in the IsaFoR project) can
> be tedious to maintain I find them necessary from time to time.
> For example in IsaFoR I (depending on the machine I am working on) and
> some students are in a situation where thy-files that are very close to
> the final code generation session are really hard to work with in
> Isabelle/jEdit since RAM is close to or already swapping and every
> single edit takes quite some time before taking effect. In such
> situations (especially when you have to restart Isabelle/jEdit) I find
> it convenient to have a heap image that contains everything up to the
> single file I am currently working on.
> Maybe there is a better way to achieve the same goal without creating
> superfluous ad-hoc sessions?

One could try to make this systematic via Isabelle/Scala, similar to
option "isabelle jedit -R" -- but it requires to look very closely what
is really required.


More information about the isabelle-dev mailing list