Diffusion Isabelle 374aafa52e92

clarified installed files;
374aafa52e92
Actions

Tags

None

Subscribers

None

Description

clarified installed files;

Details

Provenance

Authored on

Parents

rISABELLEfc5f10691147: build Isabelle E prover component from official downloads;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE374aafa52e92: clarified installed files;.Oct 2 2020, 11:15 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

rISABELLE374aafa52e92

src/Pure/Admin/build_e.scala

Loading...