Diffusion Isabelle 42c1e5d4ed14

tuned: prefer iterator.nextOption;
42c1e5d4ed14
Actions

Tags

None

Subscribers

None

Description

tuned: prefer iterator.nextOption;

Details

Provenance

Authored on

Parents

rISABELLE97b5547f2b17: tuned whitespace and braces;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE42c1e5d4ed14: tuned: prefer iterator.nextOption;.Mar 6 2023, 4:06 PM

Changes (4)

Path

Size

src/

Pure/

Admin/

build_log.scala

Thy/

document_build.scala

rISABELLE42c1e5d4ed14

src/Pure/Admin/build_log.scala

Loading...

src/Pure/Thy/document_build.scala

Loading...

src/Pure/Thy/export.scala

Loading...

src/Pure/Thy/sessions.scala

Loading...