Diffusion Isabelle b54d4542d08c

update build script for veriT 2020.10-rmx
b54d4542d08c
Actions

Tags

None

Subscribers

None

Description

update build script for veriT 2020.10-rmx

Details

Provenance

Authored on

Parents

rISABELLEaca85e8d873d: more robust;

Branches

Unknown

Tags

Unknown

Event Timeline

Mathias Fleury <Mathias.Fleury@mpi-inf.mpg.de> committed rISABELLEb54d4542d08c: update build script for veriT 2020.10-rmx.Oct 14 2020, 10:26 AM

Changes (1)

Path

Size

src/

Pure/

Admin/

build_verit.scala

rISABELLEb54d4542d08c

src/Pure/Admin/build_verit.scala

Loading...