Diffusion Isabelle 92ef737f412c

removed junk (following ab07d4cb7d1c, amending 8cd399b25dac);
92ef737f412c
Actions

Tags

None

Subscribers

None

Description

removed junk (following ab07d4cb7d1c, amending 8cd399b25dac);

Details

Provenance

Authored on

Parents

rISABELLE8f11794211ef: tuned error;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE92ef737f412c: removed junk (following ab07d4cb7d1c, amending 8cd399b25dac);.Aug 27 2023, 12:57 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

build_cluster.scala

rISABELLE92ef737f412c

src/Pure/Tools/build_cluster.scala

Loading...