Diffusion Isabelle f37df3759770

tuned messages;
f37df3759770
Actions

Tags

None

Subscribers

None

Description

tuned messages;

Details

Provenance

Authored on

Parents

rISABELLE022afbbf3194: tuned whitespace;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEf37df3759770: tuned messages;.May 29 2022, 11:47 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

sync_repos.scala

rISABELLEf37df3759770

src/Pure/Admin/sync_repos.scala

Loading...