author | wenzelm |
Thu, 27 Sep 2012 15:55:38 +0200 | |
changeset 49613 | 2f6986e2ef06 |
parent 45674 | eb65c9d17e2f |
child 50201 | c26369c9eda6 |
permissions | -rw-r--r-- |
45670 | 1 |
/* Title: Pure/PIDE/markup.scala |
45673
cd41e3903fbf
separate compilation of PIDE vs. Pure sources, which enables independent Scala library;
wenzelm
parents:
45670
diff
changeset
|
2 |
Module: PIDE |
27958 | 3 |
Author: Makarius |
4 |
||
45666 | 5 |
Generic markup elements. |
27958 | 6 |
*/ |
7 |
||
8 |
package isabelle |
|
9 |
||
27970 | 10 |
|
32450 | 11 |
object Markup |
12 |
{ |
|
45666 | 13 |
/* properties */ |
29184 | 14 |
|
15 |
val NAME = "name" |
|
43780 | 16 |
val Name = new Properties.String(NAME) |
42136 | 17 |
|
29184 | 18 |
val KIND = "kind" |
43780 | 19 |
val Kind = new Properties.String(KIND) |
29184 | 20 |
|
21 |
||
45666 | 22 |
/* elements */ |
29184 | 23 |
|
45666 | 24 |
val Empty = Markup("", Nil) |
25 |
val Broken = Markup("broken", Nil) |
|
26 |
} |
|
43721
fad8634cee62
echo prover input via raw_messages, for improved protocol tracing;
wenzelm
parents:
43710
diff
changeset
|
27 |
|
fad8634cee62
echo prover input via raw_messages, for improved protocol tracing;
wenzelm
parents:
43710
diff
changeset
|
28 |
|
45666 | 29 |
sealed case class Markup(name: String, properties: Properties.T) |
43748 | 30 |