Subversion Repositories wimsdev

Rev

Rev 17055 | 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>$name_titlestate</h4>
  7.  
  8. !if $tolerance<=0
  9.   $name_statushelp_1
  10. !else
  11.   $name_statushelp_2
  12. !endif
  13. !if $status=waiting
  14.   $name_statushelp_3 $currstep.
  15. !else
  16.   $name_statushelp_4
  17. !endif
  18.  
  19. !if $casecnt>1
  20.   <div>
  21.   !if $casecnt>2
  22.     $name_statushelp_5:
  23.     <p>\($caseid).</p>
  24.   !else
  25.     $name_statushelp_6: \($caseid).
  26.   !endif
  27.   </div>
  28. !endif
  29.  
  30. !if $goalcnt>0
  31.   $name_remaintoprove:
  32.   <ol>
  33.   !for i=1 to $goalcnt
  34.    !set l=!line $i of $m_goal
  35.    <li>\($l).</li>
  36.   !next i
  37.   </ol>
  38. !else
  39.   !if $equivcnt>0
  40.     $name_totransform:
  41.     <ol>
  42.     !for i=1 to $equivcnt
  43.       !set l=!line $i of $m_equivalence
  44.       <li>\($l).</li>
  45.     !next i
  46.     </ol>
  47.   !endif
  48. !endif
  49.  
  50. !if $contextcnt>0
  51.   $name_hypusable:
  52.   <ol>
  53.   !for i=1 to $contextcnt
  54.     !set l=!line $i of $m_context
  55.     <li>\($l).</li>
  56.   !next i
  57.   </ol>
  58. !endif
  59.