| author | blanchet |
| Tue, 21 Jun 2011 17:17:39 +0200 | |
| changeset 43501 | 0e422a84d0b2 |
| parent 42720 | caa4f1279154 |
| child 43650 | f00da558b78e |
| permissions | -rw-r--r-- |
|
42720
caa4f1279154
added toplevel isabelle package -- reduce warnings with scala-2.9.0.final;
wenzelm
parents:
diff
changeset
|
1 |
/* Title: Pure/package.scala |
|
caa4f1279154
added toplevel isabelle package -- reduce warnings with scala-2.9.0.final;
wenzelm
parents:
diff
changeset
|
2 |
Author: Makarius |
|
caa4f1279154
added toplevel isabelle package -- reduce warnings with scala-2.9.0.final;
wenzelm
parents:
diff
changeset
|
3 |
|
|
caa4f1279154
added toplevel isabelle package -- reduce warnings with scala-2.9.0.final;
wenzelm
parents:
diff
changeset
|
4 |
Toplevel isabelle package. |
|
caa4f1279154
added toplevel isabelle package -- reduce warnings with scala-2.9.0.final;
wenzelm
parents:
diff
changeset
|
5 |
*/ |
|
caa4f1279154
added toplevel isabelle package -- reduce warnings with scala-2.9.0.final;
wenzelm
parents:
diff
changeset
|
6 |
|
|
caa4f1279154
added toplevel isabelle package -- reduce warnings with scala-2.9.0.final;
wenzelm
parents:
diff
changeset
|
7 |
package object isabelle |
|
caa4f1279154
added toplevel isabelle package -- reduce warnings with scala-2.9.0.final;
wenzelm
parents:
diff
changeset
|
8 |
{
|
|
caa4f1279154
added toplevel isabelle package -- reduce warnings with scala-2.9.0.final;
wenzelm
parents:
diff
changeset
|
9 |
def error(message: String): Nothing = throw new RuntimeException(message) |
|
caa4f1279154
added toplevel isabelle package -- reduce warnings with scala-2.9.0.final;
wenzelm
parents:
diff
changeset
|
10 |
} |
|
caa4f1279154
added toplevel isabelle package -- reduce warnings with scala-2.9.0.final;
wenzelm
parents:
diff
changeset
|
11 |