Summary
- proper heading;
- removed unused Java FX modules (it will be unbundled from JDK eventually);
The file was modified | src/Doc/System/Server.thy (diff) |
The file was modified | src/Pure/ROOT.scala (diff) |
The file was modified | src/Pure/build-jars (diff) |
The file was removed | src/Pure/GUI/html5_panel.scala |
The file was removed | src/Pure/GUI/jfx_gui.scala |