Diffusion Isabelle 0b8411b27059

proper src1, amending 20157c8ab3f3;
0b8411b27059
Actions

Tags

None

Subscribers

None

Description

proper src1, amending 20157c8ab3f3;

Details

Provenance

Authored on

Parents

rISABELLE20157c8ab3f3: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE0b8411b27059: proper src1, amending 20157c8ab3f3;.Feb 27 2021, 8:49 PM

Changes (1)

Path

Size

src/

Pure/

System/

isabelle_system.scala

rISABELLE0b8411b27059

src/Pure/System/isabelle_system.scala

Loading...