src/Pure/build-jars
changeset 38428 c13c95c97e89
parent 38425 e467db701d78
child 38429 9951852fae91
     1.1 --- a/src/Pure/build-jars	Sun Aug 15 23:07:22 2010 +0200
     1.2 +++ b/src/Pure/build-jars	Sun Aug 15 23:13:56 2010 +0200
     1.3 @@ -39,11 +39,11 @@
     1.4    Isar/token.scala
     1.5    PIDE/command.scala
     1.6    PIDE/document.scala
     1.7 -  PIDE/event_bus.scala
     1.8    PIDE/markup_node.scala
     1.9    PIDE/text.scala
    1.10    System/cygwin.scala
    1.11    System/download.scala
    1.12 +  System/event_bus.scala
    1.13    System/gui_setup.scala
    1.14    System/isabelle_process.scala
    1.15    System/isabelle_syntax.scala