Diffusion Isabelle 51442c6dc296

more robust Java monitor: avoid odd warning about insecure connection;
51442c6dc296
Actions

Tags

None

Subscribers

None

Description

more robust Java monitor: avoid odd warning about insecure connection;

Details

Provenance

Authored on

Parents

rISABELLE315f9b4f9e7a: tuned signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE51442c6dc296: more robust Java monitor: avoid odd warning about insecure connection;.Dec 21 2020, 10:47 PM

Changes (15)

Path

Size

Doc/

JEdit/

System/

isabelle_system.scala

java_monitor.scala

Tools/

jEdit/

src/

status_widget.scala

rISABELLE51442c6dc296

lib/Tools/java_monitor

Loading...

src/Doc/JEdit/JEdit.thy

Loading...

src/Pure/System/isabelle_system.scala

Loading...

src/Pure/Tools/java_monitor.scala

Loading...

src/Pure/build-jars

Loading...

src/Tools/jEdit/src/Isabelle.props

Loading...

src/Tools/jEdit/src/actions.xml

Loading...

src/Tools/jEdit/src/isabelle.scala

Loading...

src/Tools/jEdit/src/jEdit.props

Loading...

src/Tools/jEdit/src/status_widget.scala

Loading...