Za pomoci třeba awk není problém, pokud xml bude jednoduché jako tvůj příklad, hlavně jedna prom.. na řádek.
Jak ale pak budeš vědět že v tvém příkladu "echo vysledek: %IsOfficial%" víš že proměnnou je zrovna %IsOfficial% a ne třeba %blablabla%. Pokud těch proměnných bude málo, lze to řešit, ale pokud jich bude hodně, tímto způsobem mě teď nenapadá jak to vyřešit. I když už i velký počet prom.. mě napadá jak vyřešit.
Pokud potřebuješ originální název prom.., lze vyřešit např.
set v1=IsOfficial
set h1=1
set v2=RanOverTs
set h2=0