src/Pure/package.scala
author blanchet
Mon May 19 23:43:53 2014 +0200 (2014-05-19)
changeset 57008 10f68b83b474
parent 45673 cd41e3903fbf
permissions -rw-r--r--
use E 1.8's auto scheduler option
     1 /*  Title:      Pure/package.scala
     2     Module:     PIDE
     3     Author:     Makarius
     4 
     5 Toplevel isabelle package.
     6 */
     7 
     8 package object isabelle extends isabelle.Basic_Library
     9 {
    10 }
    11