src/Pure/ROOT.scala
author wenzelm
Fri Jul 17 21:40:47 2015 +0200 (2015-07-17)
changeset 60749 f727b99faaf7
parent 57649 a43898f76ae9
child 62492 0e53fade87fe
permissions -rw-r--r--
skeleton for interactive debugger;
     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