Diffusion Isabelle 47f055b40ab9

more convenient repository setup;
47f055b40ab9
Actions

Tags

None

Subscribers

None

Description

more convenient repository setup;

Details

Provenance

Authored on

Parents

rISABELLE1a6637572b70: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE47f055b40ab9: more convenient repository setup;.Mar 27 2021, 8:24 PM

Changes (4)

Path

Size

README_REPOSITORY

rISABELLE47f055b40ab9

README_REPOSITORY

Loading...

lib/Tools/setup

Loading...