Rev 13470 | Rev 14279 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 13470 | Rev 14064 | ||
---|---|---|---|
Line 24... | Line 24... | ||
24 | 24 | ||
25 | This document is currently under $emph$style$emphend style. |
25 | This document is currently under $emph$style$emphend style. |
26 | You may change it to |
26 | You may change it to |
27 | !set already= |
27 | !set already= |
28 | !for s in integral,indexed,folding |
28 | !for s in integral,indexed,folding |
29 | !if $s != $style |
29 | !if $s != $style |
30 | !if $already != $empty |
30 | !if $already != $empty |
31 | or |
31 | or |
- | 32 | !endif |
|
- | 33 | !href cmd=resume&style=$s $s |
|
- | 34 | !set already=yes |
|
32 | !endif |
35 | !endif |
33 | !href cmd=resume&style=$s $s |
- | |
34 | !set already=yes |
- | |
35 | !endif |
- | |
36 | !next s |
36 | !next s |
37 | style. There is also |
37 | style. There is also |
38 | !href module=help/main.$lang a general help |
38 | !href module=help/main.$lang a general help |
39 | and |
39 | and |
40 | <a href="http://wims.unice.fr/paper/wims/wims.html">a paper on WIMS.</a> |
40 | <a href="http://wims.unice.fr/paper/wims/wims.html">a paper on WIMS.</a> |
41 | 41 | ||
42 | !if $style=integral or $style=indexed |
42 | !if $style=integral or $style=indexed |
43 | <h2>-- Table of Contents --</h2> |
43 | <h2>-- Table of Contents --</h2> |
44 | <div id="index"> |
44 | <div id="index"> |
45 | !for set in user,ref,dev |
45 | !for set in user,ref,dev |
46 | <h3>$(title_$set)</h3> |
46 | <h3>$(title_$set)</h3> |
47 | <ol> |
47 | <ol> |
48 | !for i in $($(set)_doc) |
48 | !for i in $($(set)_doc) |
49 | <li id="toc_$i"> |
49 | <li id="toc_$i"> |
50 | $(ref1)$i$(ref2)$i">$(title_$i)</a> |
50 | $(ref1)$i$(ref2)$i">$(title_$i)</a> |
51 | </li> |
51 | </li> |
52 | !next i |
52 | !next i |
53 | </ol> |
53 | </ol> |
54 | !next set |
54 | !next set |
55 | !else # folding |
55 | !else # folding |
56 | <p>Click on a title to expand or fold out its content.</p> |
56 | <p>Click on a title to expand or fold out its content.</p> |
57 | !for set in user,ref,dev |
57 | !for set in user,ref,dev |
58 | <hr/><h2 class="wimscenter">$(title_$set)</h2> |
58 | <hr/><h2 class="wimscenter">$(title_$set)</h2> |
59 | !for i in $($(set)_doc) |
59 | !for i in $($(set)_doc) |
60 | <a id="$i"></a> |
60 | <a id="$i"></a> |
61 | !if ,$i isin $expand |
61 | !if ,$i isin $expand |
62 | <hr/><h3> |
62 | <hr/><h3> |
63 | !href cmd=resume&op=close&subject=$i#$i $(title_$i) |
63 | !href cmd=resume&op=close&subject=$i#$i $(title_$i) |
64 | </h3> |
64 | </h3> |
65 | !read $i.phtml |
65 | !read $i.phtml |
66 | <hr/> |
66 | <hr/> |
67 | !else |
67 | !else |
68 | <h4>$(ref1)$i$(ref2)$i">$(title_$i)</a></h4> |
68 | <h4>$(ref1)$i$(ref2)$i">$(title_$i)</a></h4> |
69 | !endif |
69 | !endif |
70 | !next i |
70 | !next i |
71 | !next set |
71 | !next set |
72 | !endif integral or indexed versus folding |
72 | !endif integral or indexed versus folding |
73 | </div> |
73 | </div> |
74 | !if $style=integral |
74 | !if $style=integral |
75 | !for i in $user_doc,$ref_doc,$dev_doc |
75 | !for i in $user_doc,$ref_doc,$dev_doc |
76 | <hr/> |
76 | <hr/> |
77 | <h3 id="$i" class="wimscenter">$(title_$i)</h3> |
77 | <h3 id="$i" class="wimscenter">$(title_$i)</h3> |
78 | - | ||
79 | !read $i.phtml |
78 | !read $i.phtml |
80 | <p><a href="#index">Table of Contents</a></p> |
79 | <p><a href="#index">Table of Contents</a></p> |
81 | !next i |
80 | !next i |
82 | !endif |
81 | !endif |
83 | 82 | ||
84 | !if $style=indexed |
83 | !if $style=indexed |
85 | !for set in $user_doc,$ref_doc,$dev_doc |
84 | !for set in $user_doc,$ref_doc,$dev_doc |
86 | !if $set isin $subject |
85 | !if $set isin $subject |
87 | <hr/><h3 id="$set" class="wimscenter">$(title_$set)</h3> |
86 | <hr/><h3 id="$set" class="wimscenter">$(title_$set)</h3> |
88 | !read $set.phtml |
87 | !read $set.phtml |
89 | !endif |
88 | !endif |
90 | !next set |
89 | !next set |
91 | !endif |
90 | !endif |
92 | 91 | ||
93 | !tail |
92 | !tail |
94 | - |