Diffusion Isabelle 55505e7bbfb3

clarified props: more permissive;
55505e7bbfb3
Actions

Tags

None

Subscribers

None

Description

clarified props: more permissive;

Details

Provenance

Authored on

Parents

rISABELLE4b15a1e25537: more robust;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE55505e7bbfb3: clarified props: more permissive;.Jul 24 2021, 6:01 PM

Changes (3)

Path

Size

Admin/

components/

components.sha1

src/

Tools/

Setup/

src/

rISABELLE55505e7bbfb3

Admin/components/components.sha1

Loading...

Admin/components/main

Loading...

src/Tools/Setup/src/Build.java

Loading...