Diffusion Isabelle 9dc4d9ed886f

maintain document_output meta data;
9dc4d9ed886f
Actions

Tags

None

Subscribers

None

Description

maintain document_output meta data;

Details

Provenance

Authored on

Parents

rISABELLE861777e58b77: clarified modules;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE9dc4d9ed886f: maintain document_output meta data;.Feb 3 2023, 8:23 PM

Changes (3)

Path

Size

src/

Pure/

General/

PIDE/

document_editor.scala

Tools/

jEdit/

src/

document_dockable.scala

rISABELLE9dc4d9ed886f

src/Pure/General/path.scala

Loading...

src/Pure/PIDE/document_editor.scala

Loading...

src/Tools/jEdit/src/document_dockable.scala

Loading...