• 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
gmain.ml 45.3 KB