src/Pure/package.scala
author wenzelm
Mon Mar 10 15:04:01 2014 +0100 (2014-03-10)
changeset 56026 893fe12639bc
parent 45673 cd41e3903fbf
permissions -rw-r--r--
tuned signature -- prefer Name_Space.get with its builtin error;
wenzelm@42720
     1
/*  Title:      Pure/package.scala
wenzelm@45673
     2
    Module:     PIDE
wenzelm@42720
     3
    Author:     Makarius
wenzelm@42720
     4
wenzelm@42720
     5
Toplevel isabelle package.
wenzelm@42720
     6
*/
wenzelm@42720
     7
wenzelm@43652
     8
package object isabelle extends isabelle.Basic_Library
wenzelm@42720
     9
{
wenzelm@42720
    10
}
wenzelm@42720
    11