• Francois Bobot's avatar
    Fix : The order of treatment of tasks in main. · 3d24980f
    Francois Bobot authored
    If some goals are specified they are treated in the order of
    apparition on the command line. If no goals are specified on the
    command line, they are treated in the same order than they appear in
    the theory.
    3d24980f
task.mli 3.27 KB