Diffusion Isabelle 981e3b6b08a5

build from official downloads;
981e3b6b08a5
Actions

Tags

None

Subscribers

None

Description

build from official downloads;

Details

Provenance

Authored on

Parents

rISABELLEc30906fbbe91: build just one vampire version;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE981e3b6b08a5: build from official downloads;.Oct 6 2021, 8:26 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

build_vampire.scala

rISABELLE981e3b6b08a5

src/Pure/Admin/build_vampire.scala

Loading...