Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper heading;
  2. removed unused Java FX modules (it will be unbundled from JDK eventually);
Changeset 68145:edacd2a050be by wenzelm:
proper heading;
The file was modified src/Doc/System/Server.thy (diff)
Changeset 68144:7b995cd6d5d4 by wenzelm:
removed unused Java FX modules (it will be unbundled from JDK eventually);
The file was modified src/Pure/ROOT.scala (diff)
The file was modified src/Pure/build-jars (diff)
The file was removedsrc/Pure/GUI/html5_panel.scala
The file was removedsrc/Pure/GUI/jfx_gui.scala