• MARCHE Claude's avatar
    Update the XML DTD · 41bf52d7
    MARCHE Claude authored
    - metas not there anymore
    - lot of other simplifications
    - sessions files updated accordingly when needed
    41bf52d7
why3session.xml 4.67 KB