Diffusion Isabelle 4bf8a8a2d2ad

more uniform JVM vs. ML status widget;
4bf8a8a2d2ad
Actions

Tags

None

Subscribers

None

Description

more uniform JVM vs. ML status widget;

Details

Provenance

Authored on

Parents

rISABELLE71378e7d148e: clarified modules;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE4bf8a8a2d2ad: more uniform JVM vs. ML status widget;.Sep 10 2020, 9:07 PM

Changes (6)

Path

Size

src/

Doc/

JEdit/

Pure/

System/

Tools/

jEdit/

src/

status_widget.scala

rISABELLE4bf8a8a2d2ad

NEWS

Loading...

src/Doc/JEdit/JEdit.thy

Loading...

src/Pure/System/platform.scala

Loading...

src/Tools/jEdit/src/jEdit.props

Loading...

src/Tools/jEdit/src/services.xml

Loading...

src/Tools/jEdit/src/status_widget.scala

Loading...