Diffusion Isabelle ac64b753a65f

build Isabelle Vampire component from repository;
ac64b753a65f
Actions

Tags

None

Subscribers

None

Description

build Isabelle Vampire component from repository;

Details

Provenance

Authored on

Parents

rISABELLE1b0f81e556a2: accommodate OpenJDK 15;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEac64b753a65f: build Isabelle Vampire component from repository;.Dec 12 2020, 2:48 PM

Changes (6)

Path

Size

build_vampire.scala

System/

isabelle_tool.scala

rISABELLEac64b753a65f

src/Pure/Admin/build_vampire.scala

Loading...

src/Pure/System/isabelle_tool.scala

Loading...

src/Pure/build-jars

Loading...