Diffusion Isabelle 0649be5c3036

tuned message;
0649be5c3036
Actions

Tags

None

Subscribers

None

Description

tuned message;

Details

Provenance

Authored on

Parents

rISABELLE93756069b867: updated to naproche-20230902: add examples/100_theorems.ftl.tex and some more…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE0649be5c3036: tuned message;.Sun, Sep 3, 12:17 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

build_process.scala

rISABELLE0649be5c3036

src/Pure/Tools/build_process.scala

Loading...