set -tmpdir "F:/WORKAREA/diviseur/xst/projnav.tmp"
set -xsthdpdir "F:/WORKAREA/diviseur/xst"
elaborate
-ifn diviseur.prj
-ifmt mixed