Diffusion Isabelle 4d4c806cb7c8

clarified shasum: sources / resources within jar;
4d4c806cb7c8
Actions

Tags

None

Subscribers

None

Description

clarified shasum: sources / resources within jar;

Details

Provenance

Authored on

Parents

rISABELLEe61add9d5b5e: tuned signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE4d4c806cb7c8: clarified shasum: sources / resources within jar;.Jul 8 2021, 2:20 PM

Changes (1)

Path

Size

src/

Tools/

Setup/

isabelle/

setup/

rISABELLE4d4c806cb7c8

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

Loading...