changeset 36948 | d2cdad45fd14 |
parent 36947 | 285b39022372 |
child 36966 | 21be4832c362 |
1.1 --- a/src/Pure/build-jars Sat May 15 22:05:49 2010 +0200 1.2 +++ b/src/Pure/build-jars Sat May 15 22:15:57 2010 +0200 1.3 @@ -35,8 +35,8 @@ 1.4 Isar/isar_document.scala 1.5 Isar/keyword.scala 1.6 Isar/outer_lex.scala 1.7 - Isar/outer_parse.scala 1.8 Isar/outer_syntax.scala 1.9 + Isar/parse.scala 1.10 PIDE/change.scala 1.11 PIDE/command.scala 1.12 PIDE/document.scala