-
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
357c21dd