Diffusion Isabelle f6862d5f4e7f

clarified Isabelle meta-info within jar;
f6862d5f4e7f
Actions

Tags

None

Subscribers

None

Description

clarified Isabelle meta-info within jar;

Details

Provenance

Authored on

Parents

rISABELLEc9771e1b3223: strict shasum: this is used on input files;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEf6862d5f4e7f: clarified Isabelle meta-info within jar;.Jul 11 2021, 9:00 PM

Changes (1)

Path

Size

src/

Tools/

Setup/

isabelle/

setup/

rISABELLEf6862d5f4e7f

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

Loading...