Diffusion Isabelle fbaa6b40b439

update to kodkodi-1.5.4;
fbaa6b40b439
Actions

Tags

None

Subscribers

None

Description

update to kodkodi-1.5.4;
more realistic kodkod invocation;

Details

Provenance

Authored on

Parents

rISABELLE22c11f65ddf9: rudiments of Scala interface for Kodkod;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEfbaa6b40b439: update to kodkodi-1.5.4;.Aug 19 2020, 1:29 PM

Changes (3)

Path

Size

Admin/

components/

components.sha1

src/

HOL/

Tools/

Nitpick/

rISABELLEfbaa6b40b439

Admin/components/components.sha1

Loading...

Admin/components/main

Loading...

src/HOL/Tools/Nitpick/kodkod.scala

Loading...