1.1 --- a/src/sml/xmlsrc/thy-hierarchy.sml	Tue Oct 03 16:53:46 2006 +0200
     1.2 +++ b/src/sml/xmlsrc/thy-hierarchy.sml	Thu Oct 19 17:35:39 2006 +0200
     1.3 @@ -201,7 +201,9 @@
     1.4  fun thy_hierarchy2file (path:path) = 
     1.5      str2file (path ^ "thy_hierarchy.xml") 
     1.6  	     ("<NODE>\n" ^
     1.7 -	      "  <ID> theory hierarchy </ID>" ^
     1.8 +	      "  <ID> theory hierarchy </ID>\n" ^
     1.9 +	      "  <NO> 1 </NO>\n" ^
    1.10 +	      "  <CONTENTREF> thy_ROOT </CONTENTREF>\n" ^
    1.11  	     (hierarchy_guh (!thehier)) ^
    1.12  	     "</NODE>");
    1.13