Diffusion Isabelle a96564139fa7

more robust bootstrap of components;
a96564139fa7
Actions

Tags

None

Subscribers

None

Description

more robust bootstrap of components;

Details

Provenance

Authored on

Parents

rISABELLE8ddf6728ad80: more self-contained support for macOS;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEa96564139fa7: more robust bootstrap of components;.Apr 14 2021, 2:36 PM

Changes (2)

Path

Size

Admin/

components/

lib/

scripts/

rISABELLEa96564139fa7

Admin/components/main

Loading...

lib/scripts/getfunctions

Loading...