Subversion Repositories wimsdev

Rev

Rev 17055 | Details | Compare with Previous | Last modification | View Log | RSS feed

Rev Author Line No. Line
2071 zjchen 1
!set contextcnt=!linecnt $m_context
2
!set goalcnt=!linecnt $m_goal
3
!set equivcnt=!linecnt $m_equivalence
4
!set casecnt=!linecnt $allcases
5
 
17056 bpr 6
<h4>$name_titlestate</h4>
2071 zjchen 7
 
8
!if $tolerance<=0
17056 bpr 9
  $name_statushelp_1
2071 zjchen 10
!else
17056 bpr 11
  $name_statushelp_2
2071 zjchen 12
!endif
13
!if $status=waiting
17056 bpr 14
  $name_statushelp_3 $currstep.
2071 zjchen 15
!else
17056 bpr 16
  $name_statushelp_4
2071 zjchen 17
!endif
18
 
19
!if $casecnt>1
16116 bpr 20
  <div>
21
  !if $casecnt>2
17056 bpr 22
    $name_statushelp_5:
16116 bpr 23
    <p>\($caseid).</p>
24
  !else
17056 bpr 25
    $name_statushelp_6: \($caseid).
16116 bpr 26
  !endif
27
  </div>
2071 zjchen 28
!endif
29
 
30
!if $goalcnt>0
17056 bpr 31
  $name_remaintoprove:
17055 bpr 32
  <ol>
16116 bpr 33
  !for i=1 to $goalcnt
34
   !set l=!line $i of $m_goal
35
   <li>\($l).</li>
36
  !next i
37
  </ol>
2071 zjchen 38
!else
17056 bpr 39
  !if $equivcnt>0
40
    $name_totransform:
41
    <ol>
16116 bpr 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
2071 zjchen 48
!endif
49
 
50
!if $contextcnt>0
17056 bpr 51
  $name_hypusable:
16116 bpr 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>
2071 zjchen 58
!endif