Diffusion Isabelle 2481cdb84832

more realistic kodkod invocation, imitating command-line tool;
2481cdb84832
Actions

Tags

None

Subscribers

None

Description

more realistic kodkod invocation, imitating command-line tool;

Details

Provenance

Authored on

Parents

rISABELLEfbaa6b40b439: update to kodkodi-1.5.4;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE2481cdb84832: more realistic kodkod invocation, imitating command-line tool;.Aug 19 2020, 8:14 PM

Changes (1)

Path

Size

src/

HOL/

Tools/

Nitpick/

rISABELLE2481cdb84832

src/HOL/Tools/Nitpick/kodkod.scala

Loading...