src/Pure/ROOT.scala
author wenzelm
Mon Feb 23 14:50:30 2015 +0100 (2015-02-23)
changeset 59564 fdc03c8daacc
parent 57649 a43898f76ae9
child 62492 0e53fade87fe
permissions -rw-r--r--
Goal.prove_multi is superseded by the fully general Goal.prove_common;
     1 /*  Title:      Pure/ROOT.scala
     2     Module:     PIDE
     3     Author:     Makarius
     4 
     5 Root of isabelle package.
     6 */
     7 
     8 package object isabelle extends isabelle.Basic_Library
     9 {
    10   object Distribution     /*filled-in by makedist*/
    11   {
    12     val version = "unidentified repository version"
    13     val is_identified = false
    14     val is_official = false
    15   }
    16 }
    17