Rev 17055 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 17055 | Rev 17056 | ||
---|---|---|---|
Line 1... | Line 1... | ||
1 | !set contextcnt=!linecnt $m_context |
1 | !set contextcnt=!linecnt $m_context |
2 | !set goalcnt=!linecnt $m_goal |
2 | !set goalcnt=!linecnt $m_goal |
3 | !set equivcnt=!linecnt $m_equivalence |
3 | !set equivcnt=!linecnt $m_equivalence |
4 | !set casecnt=!linecnt $allcases |
4 | !set casecnt=!linecnt $allcases |
5 | 5 | ||
6 | <h4> |
6 | <h4>$name_titlestate</h4> |
7 | 7 | ||
8 | !if $tolerance<=0 |
8 | !if $tolerance<=0 |
9 |
|
9 | $name_statushelp_1 |
10 | !else |
10 | !else |
11 |
|
11 | $name_statushelp_2 |
12 | µ«ÔÚĿǰ״¿öÏÂÄã¿ÉÒÔ×öµ½ $[$m_minsteps+$tolerance] ²½ÈÔÄܵõ½×î¸ß·Ö. |
- | |
13 | !endif |
12 | !endif |
14 | !if $status=waiting |
13 | !if $status=waiting |
15 |
|
14 | $name_statushelp_3 $currstep. |
16 | !else |
15 | !else |
17 |
|
16 | $name_statushelp_4 |
18 | !endif |
17 | !endif |
19 | 18 | ||
20 | !if $casecnt>1 |
19 | !if $casecnt>1 |
21 | <div> |
20 | <div> |
22 | !if $casecnt>2 |
21 | !if $casecnt>2 |
23 |
|
22 | $name_statushelp_5: |
24 | <p>\($caseid).</p> |
23 | <p>\($caseid).</p> |
25 | !else |
24 | !else |
26 |
|
25 | $name_statushelp_6: \($caseid). |
27 | !endif |
26 | !endif |
28 | </div> |
27 | </div> |
29 | !endif |
28 | !endif |
30 | 29 | ||
31 | !if $goalcnt>0 |
30 | !if $goalcnt>0 |
32 |
|
31 | $name_remaintoprove: |
33 | <ol> |
32 | <ol> |
34 | !for i=1 to $goalcnt |
33 | !for i=1 to $goalcnt |
35 | !set l=!line $i of $m_goal |
34 | !set l=!line $i of $m_goal |
36 | <li>\($l).</li> |
35 | <li>\($l).</li> |
37 | !next i |
36 | !next i |
38 | </ol> |
37 | </ol> |
39 | !else |
38 | !else |
40 | !if $equivcnt>0 |
39 | !if $equivcnt>0 |
41 |
|
40 | $name_totransform: |
- | 41 | <ol> |
|
42 | !for i=1 to $equivcnt |
42 | !for i=1 to $equivcnt |
43 | !set l=!line $i of $m_equivalence |
43 | !set l=!line $i of $m_equivalence |
44 | <li>\($l).</li> |
44 | <li>\($l).</li> |
45 | !next i |
45 | !next i |
46 | </ol> |
46 | </ol> |
47 | !endif |
47 | !endif |
48 | !endif |
48 | !endif |
49 | 49 | ||
50 | !if $contextcnt>0 |
50 | !if $contextcnt>0 |
51 |
|
51 | $name_hypusable: |
52 | <ol> |
52 | <ol> |
53 | !for i=1 to $contextcnt |
53 | !for i=1 to $contextcnt |
54 | !set l=!line $i of $m_context |
54 | !set l=!line $i of $m_context |
55 | <li>\($l).</li> |
55 | <li>\($l).</li> |
56 | !next i |
56 | !next i |