equal
deleted
inserted
replaced
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*/ |
10 object Distribution /*filled-in by makedist*/ |
11 { |
11 { |
12 val version = "unidentified repository version" |
12 val version = "repository version: Isabelle2014: August 2014 + Isabelle/Isac" |
13 val is_identified = false |
13 val is_identified = true |
14 val is_official = false |
14 val is_official = false |
15 } |
15 } |
16 } |
16 } |
17 |
17 |