src/Pure/build-jars
changeset 36676 ac7961d42ac3
parent 36011 3ff725ac13a4
child 36683 41a1210519fd
     1.1 --- a/src/Pure/build-jars	Wed May 05 15:30:01 2010 +0200
     1.2 +++ b/src/Pure/build-jars	Wed May 05 22:23:45 2010 +0200
     1.3 @@ -23,14 +23,11 @@
     1.4  
     1.5  declare -a SOURCES=(
     1.6    Concurrent/future.scala
     1.7 -  General/download.scala
     1.8 -  General/event_bus.scala
     1.9    General/exn.scala
    1.10    General/linear_set.scala
    1.11    General/markup.scala
    1.12    General/position.scala
    1.13    General/scan.scala
    1.14 -  General/swing_thread.scala
    1.15    General/symbol.scala
    1.16    General/xml.scala
    1.17    General/yxml.scala
    1.18 @@ -39,7 +36,15 @@
    1.19    Isar/outer_lex.scala
    1.20    Isar/outer_parse.scala
    1.21    Isar/outer_syntax.scala
    1.22 +  PIDE/change.scala
    1.23 +  PIDE/command.scala
    1.24 +  PIDE/document.scala
    1.25 +  PIDE/event_bus.scala
    1.26 +  PIDE/markup_node.scala
    1.27 +  PIDE/state.scala
    1.28 +  PIDE/text_edit.scala
    1.29    System/cygwin.scala
    1.30 +  System/download.scala
    1.31    System/gui_setup.scala
    1.32    System/isabelle_process.scala
    1.33    System/isabelle_syntax.scala
    1.34 @@ -48,14 +53,9 @@
    1.35    System/session.scala
    1.36    System/session_manager.scala
    1.37    System/standard_system.scala
    1.38 -  Thy/change.scala
    1.39 -  Thy/command.scala
    1.40 +  System/swing_thread.scala
    1.41    Thy/completion.scala
    1.42 -  Thy/document.scala
    1.43    Thy/html.scala
    1.44 -  Thy/markup_node.scala
    1.45 -  Thy/state.scala
    1.46 -  Thy/text_edit.scala
    1.47    Thy/thy_header.scala
    1.48    Thy/thy_syntax.scala
    1.49    library.scala