| changeset 58991 | a43898f76ae9 |
| parent 58989 | 5c600dd17617 |
| child 59105 | 976e73e11d9a |
| 58990:5f451a141581 | 58991:a43898f76ae9 |
|---|---|
5 Root of isabelle package. |
5 Root of isabelle package. |
6 */ |
6 */ |
7 |
7 |
8 package object isabelle extends isabelle.Basic_Library |
8 package object isabelle extends isabelle.Basic_Library |
9 { |
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 } |
|
10 } |
16 } |
11 |
17 |