Mentions légales du service

Skip to content
  • Sylvain Dailler's avatar
    fixes #2 · 5e00fc66
    Sylvain Dailler authored
    Removing requests for mark_obsolete, clean_req and replay_req. Those are
    now Command_req because they are contextual.
    Only replay keeps a non-contextual mode for why3replay because we don't
    have root node anymore (there can be several file nodes).
    5e00fc66