Rev 16376 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 16376 | Rev 17055 | ||
---|---|---|---|
Line 1... | Line -... | ||
1 | !set name_titlestate=État actuel de l'exercice |
- | |
2 | !set name_hypusable=Hipótesis utilizables |
- | |
3 | !set name_totransform=Objetos por transformar |
- | |
4 | !set name_remaintoprove=Queda por probar |
- | |
5 | !set name_statushelp_1=!nosubst Vous devez résoudre cet exercice en \ |
- | |
6 | $m_minsteps étapes pour avoir un score maximal. |
- | |
7 | !set name_statushelp_2=!nosubst Cet exercice peut se résoudre en $m_minsteps étapes, \ |
- | |
8 | mais dans son niveau actuel vous pouvez faire jusqu'à \ |
- | |
9 | $[$m_minsteps+$tolerance] étapes et avoir un score maximal. |
- | |
10 | !set name_statushelp_3=Vous êtes actuellement sur l'étape numéro |
- | |
11 | !set name_statushelp_4=!nosubst Vous avez terminé au bout de $[$currstep-1] étapes. |
- | |
12 | !set name_statushelp_5=!nosubst Vous avez encore $[$casecnt-1] cas à traiter. \ |
- | |
13 | Cas actuel |
- | |
14 | !set name_statushelp_6=Ceci est votre dernier cas à traiter |
- | |
15 | - | ||
16 | !set contextcnt=!linecnt $m_context |
1 | !set contextcnt=!linecnt $m_context |
17 | !set goalcnt=!linecnt $m_goal |
2 | !set goalcnt=!linecnt $m_goal |
18 | !set equivcnt=!linecnt $m_equivalence |
3 | !set equivcnt=!linecnt $m_equivalence |
19 | !set casecnt=!linecnt $allcases |
4 | !set casecnt=!linecnt $allcases |
20 | 5 |