Diffusion Isabelle 411c0322c09d

eliminated deprecated scala.collection.JavaConversions;
411c0322c09d
Actions

Tags

None

Subscribers

None

Description

eliminated deprecated scala.collection.JavaConversions;

Details

Provenance

Authored on

Parents

rISABELLEec48da635e6c: unused;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE411c0322c09d: eliminated deprecated scala.collection.JavaConversions;.Jan 9 2020, 1:47 PM

Changes (3)

Path

Size

src/

Pure/

General/

file_watcher.scala

System/

isabelle_charset.scala

Tools/

jEdit/

src/

keymap_merge.scala

rISABELLE411c0322c09d

src/Pure/General/file_watcher.scala

Loading...

src/Pure/System/isabelle_charset.scala

Loading...

src/Tools/jEdit/src/keymap_merge.scala

Loading...