diff options
| author | David Aspinall | 2000-09-27 14:15:31 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-09-27 14:15:31 +0000 |
| commit | 24c8410db97ae32603c67697148c80ecd4209a64 (patch) | |
| tree | 7bc68060ceffc4eb39964521129368f2427e4133 /html/Kit/dtd/pgml.dtd | |
| parent | 9326bbed1a60f2fc30bdf79bdcfee849841cd260 (diff) | |
Added kit stuff: just copies of the DTDs at the moment.
Diffstat (limited to 'html/Kit/dtd/pgml.dtd')
| -rw-r--r-- | html/Kit/dtd/pgml.dtd | 68 |
1 files changed, 68 insertions, 0 deletions
diff --git a/html/Kit/dtd/pgml.dtd b/html/Kit/dtd/pgml.dtd new file mode 100644 index 00000000..cead27bf --- /dev/null +++ b/html/Kit/dtd/pgml.dtd @@ -0,0 +1,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> + + |