Diffusion Isabelle ff7ce802be52

clarified signature, according to Isabelle/Scala;
ff7ce802be52
Actions

Tags

None

Subscribers

None

Description

clarified signature, according to Isabelle/Scala;

Details

Provenance

Authored on

Parents

rISABELLEc707655239e2: download more directly, via means of JVM;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEff7ce802be52: clarified signature, according to Isabelle/Scala;.Mar 1 2021, 6:31 PM

Changes (2)

Path

Size

src/

Pure/

PIDE/

System/

isabelle_system.ML

rISABELLEff7ce802be52

src/Pure/PIDE/command.ML

Loading...

src/Pure/System/isabelle_system.ML

Loading...