1.1 --- a/src/sml/xmlsrc/datatypes.sml	Tue Oct 03 16:53:46 2006 +0200
     1.2 +++ b/src/sml/xmlsrc/datatypes.sml	Thu Oct 19 17:35:39 2006 +0200
     1.3 @@ -621,12 +621,15 @@
     1.4  fun posformheads2xml j [] = ("":xml)
     1.5    | posformheads2xml j (r::rs) = posformhead2xml j r ^ posformheads2xml j rs;
     1.6  
     1.7 +val e_pblterm = (term_of o the o (parse (assoc_thy "Script.thy"))) 
     1.8 +		    ("Problem (" ^ e_domID ^ "," ^ strs2str' e_pblID ^ ")");
     1.9 +
    1.10  (*WN051224 minimal adaption to exporting Formulae _only_ by getFormulaeFromTo*)
    1.11  fun posterm2xml j (p:pos', t) =
    1.12      indt j ^"<CALCFORMULA>\n"^
    1.13      pos'2xml (j+i) ("POSITION", p) ^
    1.14      indt (j+i) ^"<FORMULA>\n"^
    1.15 -    term2xml (j+i) t^"\n"^
    1.16 +    (if t = e_pblterm then "" else term2xml (j+i) t^"\n") ^
    1.17      indt (j+i) ^"</FORMULA>\n"^
    1.18      indt j ^"</CALCFORMULA>\n";
    1.19  

     2.1 --- a/src/sml/xmlsrc/pbl-met-hierarchy.sml	Tue Oct 03 16:53:46 2006 +0200
     2.2 +++ b/src/sml/xmlsrc/pbl-met-hierarchy.sml	Thu Oct 19 17:35:39 2006 +0200
     2.3 @@ -83,14 +83,18 @@
     2.4  fun pbl_hierarchy2file (path:path) = 
     2.5      str2file (path ^ "pbl_hierarchy.xml") 
     2.6  	     ("<NODE>\n" ^
     2.7 -	      "  <ID> problem hierarchy </ID>" ^
     2.8 +	      "  <ID> problem hierarchy </ID>\n" ^
     2.9 +	      "  <NO> 1 </NO>\n" ^
    2.10 +	      "  <CONTENTREF> pbl_ROOT </CONTENTREF>\n" ^
    2.11  	     (hierarchy_pbl (!ptyps)) ^
    2.12  	     "</NODE>");
    2.13  
    2.14  fun met_hierarchy2file (path:path) = 
    2.15      str2file (path ^ "met_hierarchy.xml") 
    2.16  	     ("<NODE>\n" ^
    2.17 -	      "  <ID> method hierarchy </ID>" ^
    2.18 +	      "  <ID> method hierarchy </ID>\n" ^
    2.19 +	      "  <NO> 1 </NO>\n" ^
    2.20 +	      "  <CONTENTREF> met_ROOT </CONTENTREF>\n" ^
    2.21  	     (hierarchy_met (!mets)) ^
    2.22  	     "</NODE>");
    2.23  

     3.1 --- a/src/sml/xmlsrc/thy-hierarchy.sml	Tue Oct 03 16:53:46 2006 +0200
     3.2 +++ b/src/sml/xmlsrc/thy-hierarchy.sml	Thu Oct 19 17:35:39 2006 +0200
     3.3 @@ -201,7 +201,9 @@
     3.4  fun thy_hierarchy2file (path:path) = 
     3.5      str2file (path ^ "thy_hierarchy.xml") 
     3.6  	     ("<NODE>\n" ^
     3.7 -	      "  <ID> theory hierarchy </ID>" ^
     3.8 +	      "  <ID> theory hierarchy </ID>\n" ^
     3.9 +	      "  <NO> 1 </NO>\n" ^
    3.10 +	      "  <CONTENTREF> thy_ROOT </CONTENTREF>\n" ^
    3.11  	     (hierarchy_guh (!thehier)) ^
    3.12  	     "</NODE>");
    3.13