It would be convenient if XMLMind editor would be able to add a PI to XML documents, whenever a document is saved. That PI should be in the form of a ISO 8601 date. E.g.
<?xxe-date "2005-11-01 15:23:22Z+0100"?> or <?xxe-date "20051101T152322Z0100"?> or whatever ISO 8601 format you chose. Since this feature is intrusive, it should properly be off by default. And checkbox should therefore exist in Options/Save If such a PI exists already, XXE should replace the existing PI, whith a new one, whenever the document is saved. Since that info is added inside the document, it is easy to utilize using XSLT. Regards, Jens
