62845
|
1 |
/* Title: Pure/System/distribution.scala
|
|
2 |
Author: Makarius
|
|
3 |
|
|
4 |
The Isabelle system distribution -- filled-in by makedist.
|
|
5 |
*/
|
|
6 |
|
|
7 |
package isabelle
|
|
8 |
|
|
9 |
|
|
10 |
object Distribution
|
|
11 |
{
|
67866
|
12 |
val version = "repository version"
|
62845
|
13 |
val is_identified = false
|
|
14 |
}
|