Diffusion Isabelle f92c7e2ba8da

more accurate classpath for "isabelle scala";
f92c7e2ba8da
Actions

Tags

None

Subscribers

None

Description

more accurate classpath for "isabelle scala";

Details

Provenance

Authored on

Parents

rISABELLE71de0a253842: proper check of registered Scala functions;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEf92c7e2ba8da: more accurate classpath for "isabelle scala";.May 24 2020, 8:35 PM

Changes (2)

Path

Size

lib/

Tools/

src/

Pure/

System/

rISABELLEf92c7e2ba8da

lib/Tools/scala

Loading...

src/Pure/System/scala.scala

Loading...