Diffusion Isabelle 9460f1f45405

more robust: explicit repository root;
9460f1f45405
Actions

Tags

None

Subscribers

None

Description

more robust: explicit repository root;

Details

Provenance

Authored on

Parents

rISABELLE97692af929a4: more robust;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE9460f1f45405: more robust: explicit repository root;.Mar 27 2021, 8:39 PM

Changes (1)

Path

Size

lib/

Tools/

rISABELLE9460f1f45405

lib/Tools/setup

Loading...