Diffusion Isabelle c9771e1b3223

strict shasum: this is used on input files;
c9771e1b3223
Actions

Tags

None

Subscribers

None

Description

strict shasum: this is used on input files;

Details

Provenance

Authored on

Parents

rISABELLE59b6f0462086: clarified modules;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEc9771e1b3223: strict shasum: this is used on input files;.Jul 11 2021, 8:47 PM

makarius mentioned this in rISABELLE472bdccfba62: even more strict shasum (amending c9771e1b3223);.Jul 11 2021, 9:32 PM

Changes (1)

Path

Size

src/

Tools/

Setup/

isabelle/

setup/

rISABELLEc9771e1b3223

src/Tools/Setup/isabelle/setup/Build.java

Loading...