• 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
Name
Last commit
Last update
..
why3session.xml Loading commit data...
why3shapes.gz Loading commit data...