Diffusion Isabelle f1063cdb0093

clarified terminology of inlined "PROGRAM START" messages;
f1063cdb0093
Actions

Tags

None

Subscribers

None

Description

clarified terminology of inlined "PROGRAM START" messages;

Details

Provenance

Authored on

Parents

rISABELLE816959264c32: isabelle update -u cite -l "";

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEf1063cdb0093: clarified terminology of inlined "PROGRAM START" messages;.Feb 1 2023, 8:57 PM

Changes (2)

Path

Size

src/

Pure/

Thy/

document_build.scala

Tools/

jEdit/

src/

document_dockable.scala

rISABELLEf1063cdb0093

src/Pure/Thy/document_build.scala

Loading...

src/Tools/jEdit/src/document_dockable.scala

Loading...