src/Pure/package.scala
author blanchet
Fri, 20 Dec 2013 20:36:38 +0100
changeset 54838 16511f84913c
parent 45673 cd41e3903fbf
permissions -rw-r--r--
reconstruct SPASS-Pirate steps of the form 'x ~= C x' (or more complicated)
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
42720
caa4f1279154 added toplevel isabelle package -- reduce warnings with scala-2.9.0.final;
wenzelm
parents:
diff changeset
     1
/*  Title:      Pure/package.scala
45673
cd41e3903fbf separate compilation of PIDE vs. Pure sources, which enables independent Scala library;
wenzelm
parents: 45667
diff changeset
     2
    Module:     PIDE
42720
caa4f1279154 added toplevel isabelle package -- reduce warnings with scala-2.9.0.final;
wenzelm
parents:
diff changeset
     3
    Author:     Makarius
caa4f1279154 added toplevel isabelle package -- reduce warnings with scala-2.9.0.final;
wenzelm
parents:
diff changeset
     4
caa4f1279154 added toplevel isabelle package -- reduce warnings with scala-2.9.0.final;
wenzelm
parents:
diff changeset
     5
Toplevel isabelle package.
caa4f1279154 added toplevel isabelle package -- reduce warnings with scala-2.9.0.final;
wenzelm
parents:
diff changeset
     6
*/
caa4f1279154 added toplevel isabelle package -- reduce warnings with scala-2.9.0.final;
wenzelm
parents:
diff changeset
     7
43652
dcd0b667f73d pervasive Basic_Library in Scala;
wenzelm
parents: 43651
diff changeset
     8
package object isabelle extends isabelle.Basic_Library
42720
caa4f1279154 added toplevel isabelle package -- reduce warnings with scala-2.9.0.final;
wenzelm
parents:
diff changeset
     9
{
caa4f1279154 added toplevel isabelle package -- reduce warnings with scala-2.9.0.final;
wenzelm
parents:
diff changeset
    10
}
caa4f1279154 added toplevel isabelle package -- reduce warnings with scala-2.9.0.final;
wenzelm
parents:
diff changeset
    11