changeset 36966 | 21be4832c362 |
parent 36948 | d2cdad45fd14 |
child 37045 | 1ce1b19f78f4 |
1.1 --- a/src/Pure/build-jars Mon May 17 10:20:55 2010 +0200 1.2 +++ b/src/Pure/build-jars Mon May 17 14:23:54 2010 +0200 1.3 @@ -34,9 +34,9 @@ 1.4 General/yxml.scala 1.5 Isar/isar_document.scala 1.6 Isar/keyword.scala 1.7 - Isar/outer_lex.scala 1.8 Isar/outer_syntax.scala 1.9 Isar/parse.scala 1.10 + Isar/token.scala 1.11 PIDE/change.scala 1.12 PIDE/command.scala 1.13 PIDE/document.scala