• MARCHE Claude's avatar
    fix issue #85 · 25acc03a
    MARCHE Claude authored
    The naming is now "consistent" in the sense that a transformation
    argument is not taken in place of another.
    
    However, it does not solve all the issues related to using
    the IDE without the "introduce premises" enabled.
    25acc03a
why3session.xml 9.37 KB