• Andrei Paskevich's avatar
    - restore the interface and implementation of Pretty · 357c21dd
    Andrei Paskevich authored
    - copy the code of Pretty to Why3 to prepare it for Driver
    - move goal_of_ctxt to Transform, where it belongs 
    - comment out the unused "extract_goals" in Transform
    - comment out the debugging printing in Theory, use Pretty
    - in use_export, put the Duse declaration after the copied
      declarations, not before
driver.ml 13.5 KB