blob: cead27bf9860a4c29df5838fee660d667f824169 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
|
<?xml version="1.0" encoding="UTF-8"?>
<!-- DTD for PGML, the Proof General Markup Language -->
<!-- Author: David Aspinall, LFCS, University of Edinburgh -->
<!-- Status: Complete but experimental version. -->
<!-- Version: $Id$ -->
<!ELEMENT pgml (statedisplay | information | warning | error)*>
<!ATTLIST pgml
version CDATA #IMPLIED>
<!ELEMENT statedisplay (statepart)*>
<!ATTLIST statedisplay
systemid CDATA #IMPLIED
name CDATA #IMPLIED
kind CDATA #IMPLIED>
<!ENTITY % termitem "action | term | type | atom | sym">
<!ENTITY % nonactionitem "term | type | atom | sym">
<!ELEMENT information (#PCDATA | %termitem;)*>
<!ATTLIST information
name CDATA #IMPLIED
kind CDATA #IMPLIED>
<!ELEMENT warning (#PCDATA | %termitem;)*>
<!ATTLIST warning
name CDATA #IMPLIED
kind CDATA #IMPLIED>
<!ELEMENT error (#PCDATA | %termitem;)*>
<!ATTLIST error
name CDATA #IMPLIED
kind CDATA #IMPLIED>
<!ELEMENT statepart (#PCDATA | %termitem;)*>
<!ATTLIST statepart
systemid CDATA #IMPLIED
name CDATA #IMPLIED
kind CDATA #IMPLIED>
<!ELEMENT term (#PCDATA | %termitem;)*>
<!ATTLIST term
pos CDATA #IMPLIED
kind CDATA #IMPLIED>
<!-- maybe combine this with term and add extra attr to term? -->
<!ELEMENT type (#PCDATA | %termitem;)*>
<!ATTLIST type
kind CDATA #IMPLIED>
<!ELEMENT action (#PCDATA | %nonactionitem;)*>
<!ATTLIST action
kind CDATA #IMPLIED>
<!ELEMENT atom (#PCDATA)>
<!ATTLIST atom
kind CDATA #IMPLIED
fullname CDATA #IMPLIED>
<!ELEMENT sym (#PCDATA)>
<!ATTLIST sym
name CDATA #IMPLIED
alt CDATA #IMPLIED>
<!ELEMENT br EMPTY>
|
