Diffusion Isabelle 4cb67b3895b9

clarified output;
4cb67b3895b9
Actions

Tags

None

Subscribers

None

Description

clarified output;

Details

Provenance

Authored on

Parents

rISABELLE218929597048: support for global registry;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE4cb67b3895b9: clarified output;.Sat, Nov 11, 4:01 PM

Changes (1)

Path

Size

src/

Pure/

System/

rISABELLE4cb67b3895b9

src/Pure/System/registry.scala

Loading...