Diffusion Isabelle 7460f92d63fc

prefer official Java 9 operations;
7460f92d63fc
Actions

Tags

None

Subscribers

None

Description

prefer official Java 9 operations;

Details

Provenance

Authored on

Parents

rISABELLEf996348d28ee: obsolete;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE7460f92d63fc: prefer official Java 9 operations;.Jan 5 2021, 9:58 PM

Changes (1)

Path

Size

src/

Pure/

GUI/

rISABELLE7460f92d63fc

src/Pure/GUI/gui.scala

Loading...