Diffusion Isabelle b9ea2467c929

tuned -- avoid deprecated constructors;
b9ea2467c929
Actions

Tags

None

Subscribers

None

Description

tuned -- avoid deprecated constructors;

Details

Provenance

Authored on

Parents

rISABELLE5965e6e3c3ec: proper comparison of Option values, following hint by IntelliJ;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEb9ea2467c929: tuned -- avoid deprecated constructors;.Jan 15 2020, 7:46 PM

Changes (2)

Path

Size

src/

Pure/

GUI/

color_value.scala

Tools/

jEdit/

src/

syntax_style.scala

rISABELLEb9ea2467c929

src/Pure/GUI/color_value.scala

Loading...

src/Tools/jEdit/src/syntax_style.scala

Loading...