Rev 2071 | Rev 4564 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2071 | Rev 3102 | ||
---|---|---|---|
Line 32... | Line 32... | ||
32 | ÒÔ¼°¹ØÓÚWIMSµÄ |
32 | ÒÔ¼°¹ØÓÚWIMSµÄ |
33 | <a href="http://wims.unice.fr/paper/wims/wims.html">һƪÎÄÕÂ</a>. |
33 | <a href="http://wims.unice.fr/paper/wims/wims.html">һƪÎÄÕÂ</a>. |
34 | <p> |
34 | <p> |
35 | 35 | ||
36 | !if $style=integral or $style=indexed |
36 | !if $style=integral or $style=indexed |
37 | <a name=index><center><h2>-------- Ä¿¡¡Â¼ --------</h2></center></a><ul> |
37 | <a name="index"><center><h2>-------- Ä¿¡¡Â¼ --------</h2></center></a><ul> |
38 | !for set in user,ref |
38 | !for set in user,ref |
39 | <li><H4>$(title_$set)</H4> |
39 | <li><H4>$(title_$set)</H4> |
40 | <ol> |
40 | <ol> |
41 | !for i in $($(set)_doc) |
41 | !for i in $($(set)_doc) |
42 | <li> |
42 | <li> |
43 | <a name=toc_ |
43 | <a name="toc_$i"></a> |
44 | $(ref1)$i$(ref2)$i>$(title_$i)</a> |
44 | $(ref1)$i$(ref2)$i>$(title_$i)</a> |
45 | !next i |
45 | !next i |
46 | </ol> <P> |
46 | </ol> <P> |
47 | !next set |
47 | !next set |
48 | </ul> |
48 | </ul> |