isabelle: src/Pure/package.scala@c8f2bad67dbb

src/Pure/package.scala

tuned signature;
tuned comments;

     1 /*  Title:      Pure/package.scala

     2     Module:     PIDE

     3     Author:     Makarius

     5 Toplevel isabelle package.

     6 */

     8 package object isabelle extends isabelle.Basic_Library

9 {

    10 }

isabelle