Diffusion Isabelle bf51c23f3f99

clarified signature -- avoid odd warning about scala/bug#6675;
bf51c23f3f99
Actions

Tags

None

Subscribers

None

Description

clarified signature -- avoid odd warning about scala/bug#6675;

Details

Provenance

Authored on

Parents

rISABELLEe7deaadc5eab: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEbf51c23f3f99: clarified signature -- avoid odd warning about scala/bug#6675;.May 17 2021, 2:07 PM

Changes (5)

Path

Size

src/

Pure/

Admin/

build_log.scala

General/

properties.scala

System/

Tools/

jEdit/

src/

keymap_merge.scala

rISABELLEbf51c23f3f99

src/Pure/Admin/build_log.scala

Loading...

src/Pure/General/path.scala

Loading...

src/Pure/General/properties.scala

Loading...

src/Pure/System/options.scala

Loading...

src/Tools/jEdit/src/keymap_merge.scala

Loading...