ML;
45d3497c0baa
Actions

Description

support for Isabelle/Scala/Java modules in Isabelle/ML;

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (8)

Path

Size

System/

rISABELLE45d3497c0baa

src/Pure/Pure.thy

src/Pure/ROOT.ML

src/Pure/System/scala.scala

src/Pure/Tools/scala_build.ML

src/Pure/Tools/scala_build.scala

support for Isabelle/Scala/Java modules in Isabelle/ML;45d3497c0baaActions

Description

Details

Changes (8)

rISABELLE45d3497c0baa

src/Pure/Pure.thy

src/Pure/ROOT.ML

src/Pure/System/scala.scala

src/Pure/Tools/scala_build.ML

src/Pure/Tools/scala_build.scala

support for Isabelle/Scala/Java modules in Isabelle/ML;
45d3497c0baa
Actions