pfc-prolog-cvs

[<iva...@us...>]

Update of /cvsroot/pfc-prolog/prolix/etc
In directory sc8-pr-cvs1:/tmp/cvs-serv14219

Added Files:
	SolutionsXml.dtd 
Log Message:
Added dtd to solutions-xml

--- NEW FILE: SolutionsXml.dtd ---
<?xml version="1.0" encoding="ISO-8859-1" ?>

<!ELEMENT results (result)*>

<!ELEMENT result (substitution*)>
<!ELEMENT substitution EMPTY>

<!ATTLIST result solution (yes|no) "yes">
<!ATTLIST result number CDATA #IMPLIED>
<!ATTLIST substitution variable CDATA #REQUIRED>
<!ATTLIST substitution value CDATA #REQUIRED>