Diffusion Isabelle 16772cc234a9

more robust etc/settings;
16772cc234a9
Actions

Tags

None

Subscribers

None

Description

more robust etc/settings;

Details

Provenance

Authored on

Parents

rISABELLEab3fa0abc119: IDE support for Naproche-SAD;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE16772cc234a9: more robust etc/settings;.Jan 22 2021, 7:32 PM

Changes (2)

Path

Size

Admin/

components/

components.sha1

rISABELLE16772cc234a9

Admin/components/components.sha1

Loading...

Admin/components/main

Loading...