changeset 38687 | c13c95c97e89 |
parent 38684 | e467db701d78 |
child 38688 | 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