• Andrei Paskevich's avatar
    several modifications in Session and IDE · 8e49dc02
    Andrei Paskevich authored
    - provide a method to mark proof attempts as obsolete
      (thus, we can replay a saved tree even if the source
      file hasn't changed)
    - cleaning applies to a subtree (like transformations
      and provers), not only at the first level
    - obsolete proof attempts do not count as successuful
    8e49dc02
session.ml 50.3 KB