-
François Bobot authored
main.ml : possibilité de mettre specifier plusieurs theories ou buts split_goals : ajout d'un argument supplémentaire pour ne selectionner que certains buts.
2a84a8b6
main.ml : possibilité de mettre specifier plusieurs theories ou buts split_goals : ajout d'un argument supplémentaire pour ne selectionner que certains buts.