Diffusion Isabelle 2bf0283fc975

proper stack_limit;
2bf0283fc975
Actions

Tags

None

Subscribers

None

Description

proper stack_limit;

Details

Provenance

Authored on

Parents

rISABELLE44ba78056790: clarified signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE2bf0283fc975: proper stack_limit;.May 24 2020, 9:01 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

rISABELLE2bf0283fc975

src/Pure/Tools/build.ML

Loading...