Diffusion Isabelle d9a4b3a73d8c

more efficient, thanks to persistent lazy data in Document.Node;
d9a4b3a73d8c
Actions

Tags

None

Subscribers

None

Description

more efficient, thanks to persistent lazy data in Document.Node;

Details

Provenance

Authored on

Parents

rISABELLE86cc9b0e1b13: proper line positions for PIDE document;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEd9a4b3a73d8c: more efficient, thanks to persistent lazy data in Document.Node;.Jan 18 2023, 4:04 PM

Changes (2)

Path

Size

src/

Pure/

PIDE/

Thy/

document_build.scala

rISABELLEd9a4b3a73d8c

src/Pure/PIDE/document.scala

Loading...

src/Pure/Thy/document_build.scala

Loading...