1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/Pure/ROOT.scala	Thu Jul 24 15:01:17 2014 +0200
     1.3 @@ -0,0 +1,11 @@
     1.4 +/*  Title:      Pure/ROOT.scala
     1.5 +    Module:     PIDE
     1.6 +    Author:     Makarius
     1.7 +
     1.8 +Root of isabelle package.
     1.9 +*/
    1.10 +
    1.11 +package object isabelle extends isabelle.Basic_Library
    1.12 +{
    1.13 +}
    1.14 +

     2.1 --- a/src/Pure/build-jars	Thu Jul 24 14:56:30 2014 +0200
     2.2 +++ b/src/Pure/build-jars	Thu Jul 24 15:01:17 2014 +0200
     2.3 @@ -16,6 +16,14 @@
     2.4    Concurrent/mailbox.scala
     2.5    Concurrent/simple_thread.scala
     2.6    Concurrent/synchronized.scala
     2.7 +  GUI/color_value.scala
     2.8 +  GUI/gui.scala
     2.9 +  GUI/gui_thread.scala
    2.10 +  GUI/html5_panel.scala
    2.11 +  GUI/jfx_thread.scala
    2.12 +  GUI/popup.scala
    2.13 +  GUI/system_dialog.scala
    2.14 +  GUI/wrap_panel.scala
    2.15    General/antiquote.scala
    2.16    General/bytes.scala
    2.17    General/completion.scala
    2.18 @@ -36,18 +44,10 @@
    2.19    General/symbol.scala
    2.20    General/time.scala
    2.21    General/timing.scala
    2.22 +  General/untyped.scala
    2.23    General/url.scala
    2.24 -  General/untyped.scala
    2.25    General/word.scala
    2.26    General/xz_file.scala
    2.27 -  GUI/color_value.scala
    2.28 -  GUI/gui.scala
    2.29 -  GUI/gui_thread.scala
    2.30 -  GUI/html5_panel.scala
    2.31 -  GUI/jfx_thread.scala
    2.32 -  GUI/popup.scala
    2.33 -  GUI/system_dialog.scala
    2.34 -  GUI/wrap_panel.scala
    2.35    Isar/keyword.scala
    2.36    Isar/outer_syntax.scala
    2.37    Isar/parse.scala
    2.38 @@ -67,6 +67,7 @@
    2.39    PIDE/text.scala
    2.40    PIDE/xml.scala
    2.41    PIDE/yxml.scala
    2.42 +  ROOT.scala
    2.43    System/command_line.scala
    2.44    System/invoke_scala.scala
    2.45    System/isabelle_charset.scala
    2.46 @@ -83,10 +84,10 @@
    2.47    Thy/thy_header.scala
    2.48    Thy/thy_info.scala
    2.49    Thy/thy_syntax.scala
    2.50 +  Tools/build.scala
    2.51 +  Tools/build_console.scala
    2.52 +  Tools/build_doc.scala
    2.53    Tools/check_source.scala
    2.54 -  Tools/build.scala
    2.55 -  Tools/build_doc.scala
    2.56 -  Tools/build_console.scala
    2.57    Tools/doc.scala
    2.58    Tools/keywords.scala
    2.59    Tools/main.scala
    2.60 @@ -95,7 +96,6 @@
    2.61    Tools/simplifier_trace.scala
    2.62    Tools/task_statistics.scala
    2.63    library.scala
    2.64 -  package.scala
    2.65    term.scala
    2.66    term_xml.scala
    2.67    "../Tools/Graphview/src/graph_panel.scala"

     3.1 --- a/src/Pure/package.scala	Thu Jul 24 14:56:30 2014 +0200
     3.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     3.3 @@ -1,11 +0,0 @@
     3.4 -/*  Title:      Pure/package.scala
     3.5 -    Module:     PIDE
     3.6 -    Author:     Makarius
     3.7 -
     3.8 -Toplevel isabelle package.
     3.9 -*/
    3.10 -
    3.11 -package object isabelle extends isabelle.Basic_Library
    3.12 -{
    3.13 -}
    3.14 -