| author | wenzelm |
| Thu, 24 Jul 2014 15:54:56 +0200 | |
| changeset 58991 | a43898f76ae9 |
| parent 58989 | 5c600dd17617 |
| child 59105 | 976e73e11d9a |
| permissions | -rw-r--r-- |
| wenzelm@58989 | 1 |
/* Title: Pure/ROOT.scala |
| wenzelm@46548 | 2 |
Module: PIDE |
| wenzelm@43633 | 3 |
Author: Makarius |
| wenzelm@43633 | 4 |
|
| wenzelm@58989 | 5 |
Root of isabelle package. |
| wenzelm@43633 | 6 |
*/ |
| wenzelm@43633 | 7 |
|
| wenzelm@44529 | 8 |
package object isabelle extends isabelle.Basic_Library |
| wenzelm@43633 | 9 |
{
|
| wenzelm@58991 | 10 |
object Distribution /*filled-in by makedist*/ |
| wenzelm@58991 | 11 |
{
|
| wenzelm@58991 | 12 |
val version = "unidentified repository version" |
| wenzelm@58991 | 13 |
val is_identified = false |
| wenzelm@58991 | 14 |
val is_official = false |
| wenzelm@58991 | 15 |
} |
| wenzelm@43633 | 16 |
} |
| wenzelm@43633 | 17 |