Diffusion Isabelle cd84e58aed26

eliminated perl: prefer elementary GNU printenv;
cd84e58aed26
Actions

Tags

None

Subscribers

None

Description

eliminated perl: prefer elementary GNU printenv;

Details

Provenance

Authored on

Parents

rISABELLEa96564139fa7: more robust bootstrap of components;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEcd84e58aed26: eliminated perl: prefer elementary GNU printenv;.Apr 14 2021, 8:53 PM

Changes (2)

Path

Size

lib/

Tools/

src/

Doc/

System/

rISABELLEcd84e58aed26

lib/Tools/getenv

Loading...

src/Doc/System/Misc.thy

Loading...