Diffusion Isabelle 04403e1ef176

build Isabelle Zipperposition component from OPAM repository;
04403e1ef176
Actions

Tags

None

Subscribers

None

Description

build Isabelle Zipperposition component from OPAM repository;

Details

Provenance

Authored on

Parents

rISABELLEde11c745ebbc: tuned messages --- less SPAM;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE04403e1ef176: build Isabelle Zipperposition component from OPAM repository;.Oct 13 2020, 7:12 PM

Changes (6)

Path

Size

build_zipperposition.scala

System/

isabelle_tool.scala

rISABELLE04403e1ef176

src/Pure/Admin/build_zipperposition.scala

Loading...

src/Pure/System/isabelle_tool.scala

Loading...

src/Pure/build-jars

Loading...