Diffusion Isabelle f5015fa7cb19

prefer Isabelle/Scala operations;
f5015fa7cb19
Actions

Tags

None

Subscribers

None

Description

prefer Isabelle/Scala operations;

Details

Provenance

Authored on

Parents

rISABELLEe4bbe0b9288d: merged

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEf5015fa7cb19: prefer Isabelle/Scala operations;.Jun 28 2022, 5:55 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

ci_profile.scala

rISABELLEf5015fa7cb19

src/Pure/Admin/ci_profile.scala

Loading...