Diffusion Isabelle 55ca7578d3e9

discontinue old Java 11 LTS;
55ca7578d3e9
Actions

Tags

None

Subscribers

None

Description

discontinue old Java 11 LTS;

Details

Provenance

Authored on

Parents

rISABELLEfdfe9b91d96e: misc tuning: support "scalac -source 3.3";

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE55ca7578d3e9: discontinue old Java 11 LTS;.Tue, Aug 29, 1:05 PM

Changes (4)

Path

Size

etc/

src/

Pure/

Tools/

jEdit/

jedit_base/

jedit_main/

rISABELLE55ca7578d3e9

etc/settings

Loading...

src/Pure/ROOT.scala

Loading...

src/Tools/jEdit/jedit_base/plugin.props

Loading...

src/Tools/jEdit/jedit_main/plugin.props

Loading...