Diffusion Isabelle f0150bc6fea5

just one copy of darwin-universal.tar.gz;
f0150bc6fea5
Actions

Tags

None

Subscribers

None

Description

just one copy of darwin-universal.tar.gz;

Details

Provenance

Authored on

Parents

rISABELLE773b99044329: merged

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEf0150bc6fea5: just one copy of darwin-universal.tar.gz;.Mar 24 2024, 3:05 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

component_hugo.scala

rISABELLEf0150bc6fea5

src/Pure/Admin/component_hugo.scala

Loading...