Diffusion Isabelle fc5f10691147

build Isabelle E prover component from official downloads;
fc5f10691147
Actions

Tags

None

Subscribers

None

Description

build Isabelle E prover component from official downloads;

Details

Provenance

Authored on

Parents

rISABELLE5f17bf3709b8: clarified signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEfc5f10691147: build Isabelle E prover component from official downloads;.Oct 2 2020, 10:59 PM

Changes (6)

Path

Size

System/

isabelle_tool.scala

rISABELLEfc5f10691147

src/Pure/Admin/build_e.scala

Loading...

src/Pure/System/isabelle_tool.scala

Loading...

src/Pure/build-jars

Loading...