blob: fd3e839ccb5de5f9848a98f1bbc34b18f85a80f6 (
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
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
|
<?xml version="1.0" encoding="UTF-8"?>
<!-- DTD for PGIP, the Proof General Interface Protocol -->
<!-- Author: David Aspinall, LFCS, University of Edinburgh -->
<!-- Version: $Id$ -->
<!-- Status: Incomplete. -->
<!-- For commentary, see the Proof General Kit white paper, at -->
<!-- http://zermelo.dcs.ed.ac.uk/~proofgen/kit.html -->
<!ELEMENT pgip (%provermsg; | %kitmsg;)*>
<!ATTLIST pgip
version CDATA
class CDATA #IMPLIED
origin CDATA
id CDATA>
<!-- Messages sent to PG Kit components -->
<!ENTITY % kitmsg "%kitconfig | %proverstatus">
<!-- Messages sent to proof assistant (class "pa") -->
<!ENTITY % provermsg "proverconfig">
<!-- STATUS/ERROR MESSAGES -->
<!-- ===================== -->
<!ENTITY % proverstatus "information | error">
<!ELEMENT information (#PCDATA)>
<!ATTLIST information
kind CDATA #IMPLIED
location CDATA>
<!-- kind=message,urgentmessage,display -->
<!ELEMENT error (#PCDATA)>
<!ATTLIST error
kind CDATA #IMPLIED
location CDATA>
<!-- kind=warning,fatal,interrupt -->
<!-- CONFIGURATION MESSAGES -->
<!-- ====================== -->
<!ENTITY % kitconfig "usespgml | haspref | prefval | idtable |
addid | delid | menuadd | menudel">
<!ELEMENT usespgml EMPTY>
<!ATTLIST usespgml
version CDATA #IMPLIED>
<!ELEMENT haspref (#PCDATA)>
<!ATTLIST haspref
type CDATA #IMPLIED
default CDATA
class CDATA>
<!ELEMENT prefval (#PCDATA)>
<!ATTLIST prefval
name CDATA #IMPLIED>
<!ELEMENT idtable (#PCDATA)>
<!ATTLIST idtable
class CDATA #IMPLIED>
<!ELEMENT addid (#PCDATA)>
<!ATTLIST addid
class CDATA #IMPLIED>
<!ELEMENT delid (#PCDATA)>
<!ATTLIST delid
class CDATA #IMPLIED>
<!ELEMENT menuadd (#PCDATA)>
<!ATTLIST menuadd
path CDATA #IMPLIED
name CDATA #IMPLIED>
<!ELEMENT menudel (#PCDATA)>
<!ATTLIST menudel
path CDATA #IMPLIED
name CDATA #IMPLIED>
<!ENTITY % proverconfig "askpgml | askprefs | resetprefs |
setpref | getpref">
<!ELEMENT askpgml EMPTY>
<!ELEMENT askprefs EMPTY>
<!ATTLIST askprefs
class CDATA #IMPLIED>
<!ELEMENT resetprefs EMPTY>
<!ATTLIST resetprefs
class CDATA #IMPLIED>
<!ELEMENT setpref EMPTY>
<!ATTLIST setpref
class CDATA #IMPLIED>
<!ELEMENT getpref EMPTY>
<!ATTLIST getpref
class CDATA #IMPLIED>
<!ELEMENT br EMPTY>
|
