--- a/src/Pure/build-jars Thu May 10 22:03:51 2018 +0100
+++ b/src/Pure/build-jars Fri May 11 11:42:23 2018 +0200
@@ -37,8 +37,6 @@
GUI/color_value.scala
GUI/gui.scala
GUI/gui_thread.scala
- GUI/html5_panel.scala
- GUI/jfx_gui.scala
GUI/popup.scala
GUI/wrap_panel.scala
General/antiquote.scala