Diffusion Isabelle b80b2fbc46c3

clarified signature: persistent Node.source / Snapshot.source;
b80b2fbc46c3
Actions

Tags

None

Subscribers

None

Description

clarified signature: persistent Node.source / Snapshot.source;

Details

Provenance

Authored on

Parents

rISABELLE258056f533ce: more examples;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEb80b2fbc46c3: clarified signature: persistent Node.source / Snapshot.source;.Sep 22 2022, 5:24 PM

Changes (3)

Path

Size

src/

Pure/

PIDE/

Thy/

browser_info.scala

rISABELLEb80b2fbc46c3

src/Pure/PIDE/document.scala

Loading...

src/Pure/Thy/bibtex.scala

Loading...

src/Pure/Thy/browser_info.scala

Loading...