changeset 57612 | 990ffb84489b |
parent 57580 | 86b413b8f779 |
child 57647 | 5c600dd17617 |
--- a/src/Pure/build-jars Wed Jul 23 11:08:24 2014 +0200 +++ b/src/Pure/build-jars Wed Jul 23 11:19:24 2014 +0200 @@ -42,10 +42,10 @@ General/xz_file.scala GUI/color_value.scala GUI/gui.scala + GUI/gui_thread.scala GUI/html5_panel.scala GUI/jfx_thread.scala GUI/popup.scala - GUI/swing_thread.scala GUI/system_dialog.scala GUI/wrap_panel.scala Isar/keyword.scala