diff options
| author | Georg Holzmann <grholzi@users.sourceforge.net> | 2005-10-21 11:56:32 +0000 |
|---|---|---|
| committer | Georg Holzmann <grholzi@users.sourceforge.net> | 2005-10-21 11:56:32 +0000 |
| commit | 1d6d1e8c73193f57a9c98387ea42eb91eb4d21d1 (patch) | |
| tree | 8d0853fe30b12c73774c786f02f3d3011b147d4c /PDContainer/pdcontainer_simple.dtd | |
| parent | df8ac7c52ff0dfc8e2ba828c4226ed34b0e9ebfc (diff) | |
only moving to a new directory
svn path=/trunk/externals/grh/; revision=3740
Diffstat (limited to 'PDContainer/pdcontainer_simple.dtd')
| -rwxr-xr-x | PDContainer/pdcontainer_simple.dtd | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/PDContainer/pdcontainer_simple.dtd b/PDContainer/pdcontainer_simple.dtd new file mode 100755 index 0000000..10a862e --- /dev/null +++ b/PDContainer/pdcontainer_simple.dtd @@ -0,0 +1,14 @@ +<!ELEMENT PDContainer (element)+> +<!ATTLIST PDContainer + type (h_vector | h_list | h_deque | h_set | h_multiset) #REQUIRED +> + +<!ELEMENT element (s, symbol, f, float)+> + +<!-- s is equivalent to symbol --> +<!ELEMENT s (#PCDATA)> +<!ELEMENT symbol (#PCDATA)> + +<!-- f is equivalent to float --> +<!ELEMENT f (#PCDATA)> +<!ELEMENT float (#PCDATA)>
\ No newline at end of file |