!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.\
!set name_statushelp_6=This is your last case to process
!set contextcnt=!linecnt $m_context
!set goalcnt=!linecnt $m_goal
!set equivcnt=!linecnt $m_equivalence
!set casecnt=!linecnt $allcases
<h4>$name_titlestate</h4>
!if $tolerance<=0
$name_statushelp_1
!else
$name_statushelp_2
!endif
!if $status=waiting
$name_statushelp_3 $currstep.
!else
$name_statushelp_4
!endif
!if $casecnt>1
<div>
!if $casecnt>2
$name_statushelp_5:
<p>\($caseid).</p>
!else
$name_statushelp_6: \($caseid).
!endif
</div>
!endif
!if $goalcnt>0
$name_remaintoprove:
<ol>
!for i=1 to $goalcnt
!set l=!line $i of $m_goal
<li>\($l).</li>
</ol>
!else
!if $equivcnt>0
$name_totransform:
<ol>
!for i=1 to $equivcnt
!set l=!line $i of $m_equivalence
<li>\($l).</li>
</ol>
!endif
!endif
!if $contextcnt>0
$name_hypusable:
<ol>
!for i=1 to $contextcnt
!set l=!line $i of $m_context
<li>\($l).</li>
</ol>
!endif