added toplevel isabelle package -- reduce warnings with scala-2.9.0.final;
authorwenzelm
Thu May 12 16:46:21 2011 +0200 (2011-05-12)
changeset 42720caa4f1279154
parent 42719 a2e9872d5459
child 42721 dfeec3aaae9d
added toplevel isabelle package -- reduce warnings with scala-2.9.0.final;
src/Pure/build-jars
src/Pure/package.scala
     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"
     2.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     2.2 +++ b/src/Pure/package.scala	Thu May 12 16:46:21 2011 +0200
     2.3 @@ -0,0 +1,11 @@
     2.4 +/*  Title:      Pure/package.scala
     2.5 +    Author:     Makarius
     2.6 +
     2.7 +Toplevel isabelle package.
     2.8 +*/
     2.9 +
    2.10 +package object isabelle
    2.11 +{
    2.12 +  def error(message: String): Nothing = throw new RuntimeException(message)
    2.13 +}
    2.14 +