-
François 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
Prochaines maintenances programmées: mardi 02/04, lundi 06/05, lundi 03/06
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
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.