Diffusion Isabelle d0378baf7d06

tuned --- avoid deprecated conversions between certain number type;
d0378baf7d06
Actions

Tags

None

Subscribers

None

Description

tuned --- avoid deprecated conversions between certain number type;

Details

Provenance

Authored on

Parents

rISABELLE0bf768567d9f: tuned --- avoid deprecated Predef.any2stringadd;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEd0378baf7d06: tuned --- avoid deprecated conversions between certain number type;.Mar 1 2021, 10:50 PM

Changes (4)

Path

Size

src/

Pure/

Admin/

build_status.scala

General/

graphics_file.scala

Tools/

jEdit/

src/

font_info.scala

rich_text_area.scala

rISABELLEd0378baf7d06

src/Pure/Admin/build_status.scala

Loading...

src/Pure/General/graphics_file.scala

Loading...

src/Tools/jEdit/src/font_info.scala

Loading...

src/Tools/jEdit/src/rich_text_area.scala

Loading...