Rev 20 |
Rev 16121 |
Go to most recent revision |
Blame |
Compare with Previous |
Last modification |
View Log
| RSS feed
!set contextcnt=!linecnt $m_context
!set goalcnt=!linecnt $m_goal
!set equivcnt=!linecnt $m_equivalence
!set casecnt=!linecnt $allcases
<h4
>Current status of the exercise
</h4
>
!if $tolerance<=0
You should solve this exercise in $m_minsteps steps in order to have a
maximal score.
!else
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.
!endif
!if $status=waiting
You are now on the step number $currstep.
!else
You have finished at the
end of $
[$currstep-1] steps
.
!endif
!if $casecnt>1
<div>
!if $casecnt>2
You still have $
[$casecnt-1] cases to process
. Current case:
<p>\($caseid).</p>
!else
This is your last case to process: \($caseid).
!endif
</div>
!endif
!if $goalcnt>0
Still to prove:
<ol>
!for i=1 to $goalcnt
!set l=!line $i of $m_goal
<li>\($l).</li>
</ol>
!else
!if $equivcnt>0
Objects to transform:
<ol>
!for i=1 to $equivcnt
!set l=!line $i of $m_equivalence
<li>\($l).</li>
</ol>
!endif
!endif
!if $contextcnt>0
Usable hypotheses:
<ol>
!for i=1 to $contextcnt
!set l=!line $i of $m_context
<li>\($l).</li>
</ol>
!endif