Diffusion Isabelle 6bf9f94198a7

updated documentation on Isabelle/Scala;
6bf9f94198a7
Actions

Tags

None

Subscribers

None

Description

updated documentation on Isabelle/Scala;

Details

Provenance

Authored on

Parents

rISABELLEaa36845ad5ad: discontinued obsolete Apple (deprecated);

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE6bf9f94198a7: updated documentation on Isabelle/Scala;.Jul 18 2021, 9:46 PM

Changes (2)

Path

Size

lib/

Tools/

src/

Doc/

System/

rISABELLE6bf9f94198a7

lib/Tools/scala_build

Loading...

src/Doc/System/Scala.thy

Loading...