lib/Tools/yxml
2008-12-20 wenzelm 2008-12-20 removed Ids;
2008-10-21 wenzelm 2008-10-21 tuned usage line;
2008-04-08 wenzelm 2008-04-08 support for YXML notation -- XML done right;