Diffusion Isabelle cd350dcd912a

tuned comments;
cd350dcd912a
Actions

Tags

None

Subscribers

None

Description

tuned comments;

Details

Provenance

Authored on

Parents

rISABELLE2d1275c7db99: more NEWS;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEcd350dcd912a: tuned comments;.Sat, Nov 11, 9:17 PM

Changes (1)

Path

Size

src/

Pure/

System/

rISABELLEcd350dcd912a

src/Pure/System/registry.scala

Loading...