src/Pure/package.scala

make ZF_cs snapshot after final setup;

/*  Title:      Pure/package.scala
    Author:     Makarius

Toplevel isabelle package.
*/

package object isabelle
{
  def error(message: String): Nothing = throw new RuntimeException(message)
}