Subversion Repositories wimsdev

Rev

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