src/Pure/build-jars
changeset 53783 f5e9d182f645
parent 53711 8ce7795256e1
child 53841 73536e119310
     1.1 --- a/src/Pure/build-jars	Sat Sep 21 22:48:52 2013 +0200
     1.2 +++ b/src/Pure/build-jars	Sun Sep 22 14:30:34 2013 +0200
     1.3 @@ -29,6 +29,15 @@
     1.4    General/time.scala
     1.5    General/timing.scala
     1.6    General/xz_file.scala
     1.7 +  GUI/color_value.scala
     1.8 +  GUI/gui.scala
     1.9 +  GUI/gui_setup.scala
    1.10 +  GUI/html5_panel.scala
    1.11 +  GUI/jfx_thread.scala
    1.12 +  GUI/popup.scala
    1.13 +  GUI/swing_thread.scala
    1.14 +  GUI/system_dialog.scala
    1.15 +  GUI/wrap_panel.scala
    1.16    Isar/completion.scala
    1.17    Isar/keyword.scala
    1.18    Isar/outer_syntax.scala
    1.19 @@ -45,27 +54,19 @@
    1.20    PIDE/text.scala
    1.21    PIDE/xml.scala
    1.22    PIDE/yxml.scala
    1.23 -  System/color_value.scala
    1.24    System/command_line.scala
    1.25    System/event_bus.scala
    1.26 -  System/gui.scala
    1.27 -  System/gui_setup.scala
    1.28 -  System/html5_panel.scala
    1.29    System/interrupt.scala
    1.30    System/invoke_scala.scala
    1.31    System/isabelle_charset.scala
    1.32    System/isabelle_font.scala
    1.33    System/isabelle_process.scala
    1.34    System/isabelle_system.scala
    1.35 -  System/jfx_thread.scala
    1.36    System/options.scala
    1.37    System/platform.scala
    1.38    System/session.scala
    1.39 -  System/swing_thread.scala
    1.40    System/system_channel.scala
    1.41 -  System/system_dialog.scala
    1.42    System/utf8.scala
    1.43 -  System/wrap_panel.scala
    1.44    Thy/html.scala
    1.45    Thy/present.scala
    1.46    Thy/thy_header.scala