Diffusion Isabelle efd5c582d7ae

tuned README;
efd5c582d7ae
Actions

Tags

None

Subscribers

None

Description

tuned README;

Details

Provenance

Authored on

Parents

rISABELLE12c8d72df48a: clarified build options;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEefd5c582d7ae: tuned README;.Mar 30 2023, 11:58 AM

Changes (1)

Path

Size

src/

Pure/

Admin/

component_rsync.scala

rISABELLEefd5c582d7ae

src/Pure/Admin/component_rsync.scala

Loading...