Diffusion Isabelle 03afc8252225

support for output messages;
03afc8252225
Actions

Tags

None

Subscribers

None

Description

support for output messages;

Details

Provenance

Authored on

Parents

rISABELLEa21a29de5f57: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

wenzelm committed rISABELLE03afc8252225: support for output messages;.Nov 25 2019, 1:28 PM

Changes (2)

Path

Size

src/

Pure/

Isar/

document_structure.scala

PIDE/

rISABELLE03afc8252225

src/Pure/Isar/document_structure.scala

Loading...

src/Pure/PIDE/protocol.scala

Loading...