| author | blanchet |
| Thu, 05 Mar 2015 11:57:34 +0100 | |
| changeset 59597 | 70a68edcc79b |
| parent 57649 | a43898f76ae9 |
| child 62492 | 0e53fade87fe |
| permissions | -rw-r--r-- |
| 57647 | 1 |
/* Title: Pure/ROOT.scala |
|
45673
cd41e3903fbf
separate compilation of PIDE vs. Pure sources, which enables independent Scala library;
wenzelm
parents:
45667
diff
changeset
|
2 |
Module: PIDE |
|
42720
caa4f1279154
added toplevel isabelle package -- reduce warnings with scala-2.9.0.final;
wenzelm
parents:
diff
changeset
|
3 |
Author: Makarius |
|
caa4f1279154
added toplevel isabelle package -- reduce warnings with scala-2.9.0.final;
wenzelm
parents:
diff
changeset
|
4 |
|
| 57647 | 5 |
Root of isabelle package. |
|
42720
caa4f1279154
added toplevel isabelle package -- reduce warnings with scala-2.9.0.final;
wenzelm
parents:
diff
changeset
|
6 |
*/ |
|
caa4f1279154
added toplevel isabelle package -- reduce warnings with scala-2.9.0.final;
wenzelm
parents:
diff
changeset
|
7 |
|
| 43652 | 8 |
package object isabelle extends isabelle.Basic_Library |
|
42720
caa4f1279154
added toplevel isabelle package -- reduce warnings with scala-2.9.0.final;
wenzelm
parents:
diff
changeset
|
9 |
{
|
|
57649
a43898f76ae9
further distinction of Isabelle distribution: alert for identified release candidates;
wenzelm
parents:
57647
diff
changeset
|
10 |
object Distribution /*filled-in by makedist*/ |
|
a43898f76ae9
further distinction of Isabelle distribution: alert for identified release candidates;
wenzelm
parents:
57647
diff
changeset
|
11 |
{
|
|
a43898f76ae9
further distinction of Isabelle distribution: alert for identified release candidates;
wenzelm
parents:
57647
diff
changeset
|
12 |
val version = "unidentified repository version" |
|
a43898f76ae9
further distinction of Isabelle distribution: alert for identified release candidates;
wenzelm
parents:
57647
diff
changeset
|
13 |
val is_identified = false |
|
a43898f76ae9
further distinction of Isabelle distribution: alert for identified release candidates;
wenzelm
parents:
57647
diff
changeset
|
14 |
val is_official = false |
|
a43898f76ae9
further distinction of Isabelle distribution: alert for identified release candidates;
wenzelm
parents:
57647
diff
changeset
|
15 |
} |
|
42720
caa4f1279154
added toplevel isabelle package -- reduce warnings with scala-2.9.0.final;
wenzelm
parents:
diff
changeset
|
16 |
} |
|
caa4f1279154
added toplevel isabelle package -- reduce warnings with scala-2.9.0.final;
wenzelm
parents:
diff
changeset
|
17 |