src/Pure/build-jars
changeset 42720 caa4f1279154
parent 40393 2bb7ec08574a
child 42899 108e815fdc8e
     1.1 --- a/src/Pure/build-jars	Thu May 12 16:42:57 2011 +0200
     1.2 +++ b/src/Pure/build-jars	Thu May 12 16:46:21 2011 +0200
     1.3 @@ -63,6 +63,7 @@
     1.4    Thy/thy_header.scala
     1.5    Thy/thy_syntax.scala
     1.6    library.scala
     1.7 +  package.scala
     1.8  )
     1.9  
    1.10  TARGET_DIR="$ISABELLE_HOME/lib/classes"