Diffusion Isabelle 54fe8cc0e1c6

clarified signature: provide access to previous state;
54fe8cc0e1c6
Actions

Tags

None

Subscribers

None

Description

clarified signature: provide access to previous state;

Details

Provenance

Authored on

Parents

rISABELLEb9aae426e51d: clarified signature (see Scala version);

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE54fe8cc0e1c6: clarified signature: provide access to previous state;.May 12 2021, 4:47 PM

Changes (4)

Path

Size

src/

Pure/

Isar/

PIDE/

Thy/

rISABELLE54fe8cc0e1c6

src/Pure/Isar/toplevel.ML

Loading...

src/Pure/PIDE/document.ML

Loading...

src/Pure/Thy/thy_info.ML

Loading...

src/Pure/Thy/thy_output.ML

Loading...