Diffusion Isabelle 809c37bfd823

clarified IO, following Java 11 and Isabelle/Scala;
809c37bfd823
Actions

Tags

None

Subscribers

None

Description

clarified IO, following Java 11 and Isabelle/Scala;

Details

Provenance

Authored on

Parents

rISABELLEe3aa7214eb1a: prefer Scala operations;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE809c37bfd823: clarified IO, following Java 11 and Isabelle/Scala;.Jun 28 2022, 3:29 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

ci_profile.scala

rISABELLE809c37bfd823

src/Pure/Admin/ci_profile.scala

Loading...