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;
wenzelm@57647
     1
/*  Title:      Pure/ROOT.scala
wenzelm@45673
     2
    Module:     PIDE
wenzelm@42720
     3
    Author:     Makarius
wenzelm@42720
     4
wenzelm@57647
     5
Root of isabelle package.
wenzelm@42720
     6
*/
wenzelm@42720
     7
wenzelm@43652
     8
package object isabelle extends isabelle.Basic_Library
wenzelm@42720
     9
{
wenzelm@57649
    10
  object Distribution     /*filled-in by makedist*/
wenzelm@57649
    11
  {
wenzelm@57649
    12
    val version = "unidentified repository version"
wenzelm@57649
    13
    val is_identified = false
wenzelm@57649
    14
    val is_official = false
wenzelm@57649
    15
  }
wenzelm@42720
    16
}
wenzelm@42720
    17