Rev 16114 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
16121 | bpr | 1 | !set name_titlestate=État actuel de l'exercice |
2 | !set name_hypusable=Hypothèses utilisables |
||
3 | !set name_totransform=Objets à transformer |
||
4 | !set name_remaintoprove=Reste à prouver |
||
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 | |||
20 | reyssat | 16 | !set contextcnt=!linecnt $m_context |
17 | !set goalcnt=!linecnt $m_goal |
||
18 | !set equivcnt=!linecnt $m_equivalence |
||
19 | !set casecnt=!linecnt $allcases |
||
20 | |||
16121 | bpr | 21 | <h4>$name_titlestate</h4> |
20 | reyssat | 22 | |
23 | !if $tolerance<=0 |
||
16121 | bpr | 24 | $name_statushelp_1 |
20 | reyssat | 25 | !else |
16121 | bpr | 26 | $name_statushelp_2 |
20 | reyssat | 27 | !endif |
28 | !if $status=waiting |
||
16121 | bpr | 29 | $name_statushelp_3 $currstep. |
20 | reyssat | 30 | !else |
16121 | bpr | 31 | $name_statushelp_4 |
20 | reyssat | 32 | !endif |
33 | |||
34 | !if $casecnt>1 |
||
11566 | bpr | 35 | <div> |
16113 | bpr | 36 | !if $casecnt>2 |
16121 | bpr | 37 | $name_statushelp_5: |
16113 | bpr | 38 | <p>\($caseid).</p> |
16114 | bpr | 39 | !else |
16121 | bpr | 40 | $name_statushelp_6: \($caseid). |
16113 | bpr | 41 | !endif |
42 | </div> |
||
20 | reyssat | 43 | !endif |
44 | |||
45 | !if $goalcnt>0 |
||
16121 | bpr | 46 | $name_remaintoprove: |
11566 | bpr | 47 | <ol> |
16113 | bpr | 48 | !for i=1 to $goalcnt |
49 | !set l=!line $i of $m_goal |
||
11566 | bpr | 50 | <li>\($l).</li> |
20 | reyssat | 51 | !next i |
11566 | bpr | 52 | </ol> |
16113 | bpr | 53 | !else |
54 | !if $equivcnt>0 |
||
16121 | bpr | 55 | $name_totransform: |
16113 | bpr | 56 | <ol> |
57 | !for i=1 to $equivcnt |
||
58 | !set l=!line $i of $m_equivalence |
||
59 | <li>\($l).</li> |
||
60 | !next i |
||
61 | </ol> |
||
62 | !endif |
||
20 | reyssat | 63 | !endif |
64 | |||
65 | !if $contextcnt>0 |
||
16121 | bpr | 66 | $name_hypusable: |
16113 | bpr | 67 | <ol> |
68 | !for i=1 to $contextcnt |
||
69 | !set l=!line $i of $m_context |
||
70 | <li>\($l).</li> |
||
71 | !next i |
||
72 | </ol> |
||
20 | reyssat | 73 | !endif |