src/Pure/package.scala
author wenzelm
Fri Apr 12 14:54:14 2013 +0200 (2013-04-12)
changeset 51700 c8f2bad67dbb
parent 45673 cd41e3903fbf
permissions -rw-r--r--
tuned signature;
tuned comments;
     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