Diffusion Isabelle 22c11f65ddf9

rudiments of Scala interface for Kodkod;
22c11f65ddf9
Actions

Tags

None

Subscribers

None

Description

rudiments of Scala interface for Kodkod;

Details

Provenance

Authored on

Parents

rISABELLE6d7cd8e7bc6d: updated to kodkodi-1.5.3: include KODKODI_CLASSPATH for Isabelle/Scala;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE22c11f65ddf9: rudiments of Scala interface for Kodkod;.Aug 18 2020, 6:23 PM

Changes (7)

Path

Size

Pure/

Tools/

scala_project.scala

rISABELLE22c11f65ddf9

src/HOL/Tools/Nitpick/kodkod.scala

Loading...

src/Pure/Tools/scala_project.scala

Loading...

src/Pure/build-jars

Loading...