Diffusion Isabelle 064566bc1f35

clarified signature: follow terminology of isabelle.Sessions and isabelle.Build;
064566bc1f35
Actions

Tags

None

Subscribers

None

Description

clarified signature: follow terminology of isabelle.Sessions and isabelle.Build;

Details

Provenance

Authored on

Parents

rISABELLE2cf7a61e4a73: clarified signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE064566bc1f35: clarified signature: follow terminology of isabelle.Sessions and isabelle.Build;.Feb 6 2023, 10:20 AM

Changes (2)

Path

Size

src/

Pure/

PIDE/

document_editor.scala

Thy/

browser_info.scala

rISABELLE064566bc1f35

src/Pure/PIDE/document_editor.scala

Loading...

src/Pure/Thy/browser_info.scala

Loading...