Diffusion Isabelle c30906fbbe91

build just one vampire version;
c30906fbbe91
Actions

Tags

None

Subscribers

None

Description

build just one vampire version;

Details

Provenance

Authored on

Parents

rISABELLE7cc59201157d: clarified signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEc30906fbbe91: build just one vampire version;.Oct 6 2021, 1:28 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

build_vampire.scala

rISABELLEc30906fbbe91

src/Pure/Admin/build_vampire.scala

Loading...