Diffusion Isabelle b5191ededb6c

check Scala source snippets from ML;
b5191ededb6c
Actions

Tags

None

Subscribers

None

Description

check Scala source snippets from ML;

Details

Provenance

Authored on

Parents

rISABELLE28def00726ca: more robust isabelle.Functions --- avoid Java reflection with unclear…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEb5191ededb6c: check Scala source snippets from ML;.May 23 2020, 9:58 PM

Changes (2)

Path

Size

src/

Pure/

System/

rISABELLEb5191ededb6c

src/Pure/System/scala.ML

Loading...

src/Pure/System/scala.scala

Loading...