Diffusion Isabelle e977609c30eb

formally depend on Java 11 --- discontinue Java 8 workaround;
e977609c30eb
Actions

Tags

None

Subscribers

None

Description

formally depend on Java 11 --- discontinue Java 8 workaround;

Details

Provenance

Authored on

Parents

rISABELLE62755ec99671: support Java/VM monitoring via jconsole;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEe977609c30eb: formally depend on Java 11 --- discontinue Java 8 workaround;.Mar 6 2020, 8:33 PM

Changes (4)

Path

Size

src/

Doc/

JEdit/

System/

Tools/

jEdit/

src-base/

Isabelle_Base.props

src/

rISABELLEe977609c30eb

src/Doc/JEdit/JEdit.thy

Loading...

src/Doc/System/Server.thy

Loading...

src/Tools/jEdit/src-base/Isabelle_Base.props

Loading...

src/Tools/jEdit/src/Isabelle.props

Loading...