changeset 38412 | c23f3abbf42d |
parent 38361 | b609d0b271fa |
child 38425 | e467db701d78 |
--- a/src/Pure/build-jars Sat Aug 14 13:24:06 2010 +0200 +++ b/src/Pure/build-jars Sat Aug 14 18:43:45 2010 +0200 @@ -33,7 +33,6 @@ General/xml.scala General/xml_data.scala General/yxml.scala - Isar/isar_document.scala Isar/keyword.scala Isar/outer_syntax.scala Isar/parse.scala @@ -49,6 +48,7 @@ System/isabelle_process.scala System/isabelle_syntax.scala System/isabelle_system.scala + System/isar_document.scala System/platform.scala System/session.scala System/session_manager.scala