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 |