Diffusion Isabelle 7f6800b2e8c2

build Isabelle veriT component from official download;
7f6800b2e8c2
Actions

Tags

None

Subscribers

None

Description

build Isabelle veriT component from official download;

Details

Provenance

Authored on

Parents

rISABELLE90c6e9a83c1e: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE7f6800b2e8c2: build Isabelle veriT component from official download;.Oct 11 2020, 1:03 PM

Changes (6)

Path

Size

build_verit.scala

System/

isabelle_tool.scala

rISABELLE7f6800b2e8c2

src/Pure/Admin/build_verit.scala

Loading...

src/Pure/System/isabelle_tool.scala

Loading...

src/Pure/build-jars

Loading...