# HG changeset patch
# User wenzelm
# Date 1305211581 -7200
# Node ID caa4f127915414e5a43f746d927e27050337f926
# Parent  a2e9872d5459e5a91291fa872ac0e9205b471a2a
added toplevel isabelle package -- reduce warnings with scala-2.9.0.final;

diff -r a2e9872d5459 -r caa4f1279154 src/Pure/build-jars
--- a/src/Pure/build-jars	Thu May 12 16:42:57 2011 +0200
+++ b/src/Pure/build-jars	Thu May 12 16:46:21 2011 +0200
@@ -63,6 +63,7 @@
   Thy/thy_header.scala
   Thy/thy_syntax.scala
   library.scala
+  package.scala
 )
 
 TARGET_DIR="$ISABELLE_HOME/lib/classes"
diff -r a2e9872d5459 -r caa4f1279154 src/Pure/package.scala
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Pure/package.scala	Thu May 12 16:46:21 2011 +0200
@@ -0,0 +1,11 @@
+/*  Title:      Pure/package.scala
+    Author:     Makarius
+
+Toplevel isabelle package.
+*/
+
+package object isabelle
+{
+  def error(message: String): Nothing = throw new RuntimeException(message)
+}
+