tuned: eliminted do-while for the sake of scala3;
81673c441ce3
Actions

Description

tuned: eliminted do-while for the sake of scala3;

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (5)

Path

Size

src/

Pure/

General/

Thy/

Tools/

rISABELLE81673c441ce3

src/Pure/General/bytes.scala

src/Pure/General/sha1.scala

src/Pure/Thy/sessions.scala

src/Pure/Tools/phabricator.scala

tuned: eliminted do-while for the sake of scala3;81673c441ce3Actions

Description

Details

Changes (5)

rISABELLE81673c441ce3

src/Pure/General/bytes.scala

src/Pure/General/sha1.scala

src/Pure/Thy/sessions.scala

src/Pure/Tools/phabricator.scala

src/Pure/library.scala

tuned: eliminted do-while for the sake of scala3;
81673c441ce3
Actions