• François Bobot's avatar
    Session rewrite fix : · 13c872fa
    François Bobot authored
     - goal name are correctly printed when no explanation are provided
     - explanation becomes an abstract type
    13c872fa
session.mli 12.6 KB