src/Pure/package.scala
author wenzelm
Sun Nov 11 20:31:46 2012 +0100 (2012-11-11)
changeset 50081 9b92ee8dec98
parent 45673 cd41e3903fbf
permissions -rw-r--r--
tuned;
     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