Subversion Repositories wimsdev

Rev

Rev 20 | Rev 16121 | Go to most recent revision | Blame | Compare with Previous | Last modification | View Log | RSS feed

  1. !set contextcnt=!linecnt $m_context
  2. !set goalcnt=!linecnt $m_goal
  3. !set equivcnt=!linecnt $m_equivalence
  4. !set casecnt=!linecnt $allcases
  5.  
  6. <h4>Current status of the exercise</h4>
  7.  
  8. !if $tolerance<=0
  9.   You should solve this exercise in $m_minsteps steps in order to have a
  10.   maximal score.
  11. !else
  12.   This exercise can be solved with $m_minsteps steps, but in its current
  13.   status you can make up to $[$m_minsteps+$tolerance] steps and still have
  14.   a maximal score.
  15. !endif
  16. !if $status=waiting
  17.   You are now on the step number $currstep.
  18. !else
  19.   You have finished at the end of $[$currstep-1] steps.
  20. !endif
  21.  
  22. !if $casecnt>1
  23.   <div>
  24.   !if $casecnt>2
  25.     You still have $[$casecnt-1] cases to process. Current case:
  26.     <p>\($caseid).</p>
  27.   !else
  28.     This is your last case to process: \($caseid).
  29.   !endif
  30.   </div>
  31. !endif
  32.  
  33. !if $goalcnt>0
  34.   Still to prove:
  35.   <ol>
  36.   !for i=1 to $goalcnt
  37.    !set l=!line $i of $m_goal
  38.    <li>\($l).</li>
  39.   !next i
  40.   </ol>
  41. !else
  42.   !if $equivcnt>0
  43.     Objects to transform:
  44.     <ol>
  45.     !for i=1 to $equivcnt
  46.       !set l=!line $i of $m_equivalence
  47.       <li>\($l).</li>
  48.     !next i
  49.     </ol>
  50.   !endif
  51. !endif
  52.  
  53. !if $contextcnt>0
  54.   Usable hypotheses:
  55.   <ol>
  56.   !for i=1 to $contextcnt
  57.     !set l=!line $i of $m_context
  58.     <li>\($l).</li>
  59.   !next i
  60.   </ol>
  61. !endif
  62.