Subversion Repositories wimsdev

!set name_titlestate=Current status of the exercise

!set name_hypusable=Usable hypotheses:

!set name_totransform=Objects to transform

!set name_remaintoprove=Still to prove

!set name_statushelp_1=!nosubst You should solve this exercise in \

  $m_minsteps steps in order to have a maximal score.

!set name_statushelp_2=!nosubst This exercise can be solved with \

  $m_minsteps steps, but in its current status you can make up to \

  $[$m_minsteps+$tolerance] steps and still have a maximal score.

!set name_statushelp_3=You are now on the step number

!set name_statushelp_4=!nosubst You have finished at the end of $[$currstep-1] steps.

!set name_statushelp_5=!nosubst You still have $[$casecnt-1] cases to process.\

  Current case

!set name_statushelp_6=This is your last case to process