From 5c0c5d3333b72467767987b4e6d3b983cd35b512 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Thu, 8 Sep 2005 13:30:00 +0000
Subject: [PATCH] - Better XML output for variables section.

---
 src/xmlout.c | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/src/xmlout.c b/src/xmlout.c
index 021847f..16e95a4 100644
--- a/src/xmlout.c
+++ b/src/xmlout.c
@@ -327,10 +327,21 @@ xmlTermType (const Term t)
       t->subst = NULL;
     }
 
+  xmlindent++;
+  xmlPrint("<term>");
+  xmlindent++;
   xmlIndentPrint ();
   xmlTermPrint (t);
   printf ("\n");
+  xmlindent--;
+  xmlPrint("</term>");
+
+  xmlPrint("<type>");
+  xmlindent++;
   xmlTermlistPrint (t->stype);
+  xmlindent--;
+  xmlPrint("</type>");
+  xmlindent--;
 
   if (realTermVariable (t))
     {
@@ -356,10 +367,15 @@ xmlVariable (const System sys, const Term variable, const int run)
 	}
       printf ("\" run=\"%i\">\n", run);
       xmlindent++;
+
+      xmlPrint ("<name>");
       xmlTermType (variable);
+      xmlPrint ("</name>");
       if (variable->subst != NULL)
 	{
+          xmlPrint ("<substitution>");
 	  xmlTermType (deVar (variable));
+          xmlPrint ("</substitution>");
 	}
       xmlindent--;
       xmlPrint ("</variable>");