Diffusion Isabelle be33ca6f45d7

more comments;
be33ca6f45d7
Actions

Tags

None

Subscribers

None

Description

more comments;

Details

Provenance

Authored on

Parents

rISABELLE4dd0f250ec0d: more options;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEbe33ca6f45d7: more comments;.Jun 11 2022, 8:45 PM

Changes (1)

Path

Size

src/

Pure/

General/

rISABELLEbe33ca6f45d7

src/Pure/General/rsync.scala

Loading...