Diffusion Isabelle 27d9aa2a4010

more exports, as in "isabelle dump";
27d9aa2a4010
Actions

Tags

None

Subscribers

None

Description

more exports, as in "isabelle dump";

Details

Provenance

Authored on

Parents

rISABELLE75cce7926ec1: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE27d9aa2a4010: more exports, as in "isabelle dump";.Nov 26 2020, 4:19 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

build_job.scala

rISABELLE27d9aa2a4010

src/Pure/Tools/build_job.scala

Loading...