1.1 --- a/src/Pure/build-jars	Thu Jul 24 14:56:30 2014 +0200
     1.2 +++ b/src/Pure/build-jars	Thu Jul 24 15:01:17 2014 +0200
     1.3 @@ -16,6 +16,14 @@
     1.4    Concurrent/mailbox.scala
     1.5    Concurrent/simple_thread.scala
     1.6    Concurrent/synchronized.scala
     1.7 +  GUI/color_value.scala
     1.8 +  GUI/gui.scala
     1.9 +  GUI/gui_thread.scala
    1.10 +  GUI/html5_panel.scala
    1.11 +  GUI/jfx_thread.scala
    1.12 +  GUI/popup.scala
    1.13 +  GUI/system_dialog.scala
    1.14 +  GUI/wrap_panel.scala
    1.15    General/antiquote.scala
    1.16    General/bytes.scala
    1.17    General/completion.scala
    1.18 @@ -36,18 +44,10 @@
    1.19    General/symbol.scala
    1.20    General/time.scala
    1.21    General/timing.scala
    1.22 +  General/untyped.scala
    1.23    General/url.scala
    1.24 -  General/untyped.scala
    1.25    General/word.scala
    1.26    General/xz_file.scala
    1.27 -  GUI/color_value.scala
    1.28 -  GUI/gui.scala
    1.29 -  GUI/gui_thread.scala
    1.30 -  GUI/html5_panel.scala
    1.31 -  GUI/jfx_thread.scala
    1.32 -  GUI/popup.scala
    1.33 -  GUI/system_dialog.scala
    1.34 -  GUI/wrap_panel.scala
    1.35    Isar/keyword.scala
    1.36    Isar/outer_syntax.scala
    1.37    Isar/parse.scala
    1.38 @@ -67,6 +67,7 @@
    1.39    PIDE/text.scala
    1.40    PIDE/xml.scala
    1.41    PIDE/yxml.scala
    1.42 +  ROOT.scala
    1.43    System/command_line.scala
    1.44    System/invoke_scala.scala
    1.45    System/isabelle_charset.scala
    1.46 @@ -83,10 +84,10 @@
    1.47    Thy/thy_header.scala
    1.48    Thy/thy_info.scala
    1.49    Thy/thy_syntax.scala
    1.50 +  Tools/build.scala
    1.51 +  Tools/build_console.scala
    1.52 +  Tools/build_doc.scala
    1.53    Tools/check_source.scala
    1.54 -  Tools/build.scala
    1.55 -  Tools/build_doc.scala
    1.56 -  Tools/build_console.scala
    1.57    Tools/doc.scala
    1.58    Tools/keywords.scala
    1.59    Tools/main.scala
    1.60 @@ -95,7 +96,6 @@
    1.61    Tools/simplifier_trace.scala
    1.62    Tools/task_statistics.scala
    1.63    library.scala
    1.64 -  package.scala
    1.65    term.scala
    1.66    term_xml.scala
    1.67    "../Tools/Graphview/src/graph_panel.scala"