Diffusion Isabelle 479e9b17090e

clarified options (again);
479e9b17090e
Actions

Tags

None

Subscribers

None

Description

clarified options (again);

Details

Provenance

Authored on

Parents

rISABELLEa96de8bbe8a3: more options: update ISABELLE_IDENTIFIER;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE479e9b17090e: clarified options (again);.Apr 17 2021, 7:45 PM

Changes (2)

Path

Size

Admin/

README_REPOSITORY

rISABELLE479e9b17090e

Admin/init

Loading...

README_REPOSITORY

Loading...