NEWS: PIDE is able to load theory markup from underlying database

[Makarius]

On 03/07/2025 16:34, Lawrence Paulson wrote:
> This is cool and totally great. I hope we don't pay a price in memory usage?

There is no change on the Isabelle/ML side.

On the Isabelle/Scala side, the memory usage should be the same as if the 
theory had been loaded interactively into the Prover IDE.

Nonetheless, we need to watch out for irregularities, after many years without 
that functionality.


	Makarius