changeset 42720 | caa4f1279154 |
child 43650 | f00da558b78e |
--- /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) +} +