Subversion Repositories wimsdev

Rev

Rev 5798 | Rev 5920 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 5798 Rev 5919
Line 8... Line 8...
8 
!!</HEAD>
 8 
!!</HEAD>
9 
!!<BODY $wims_htmlbody>
 9 
!!<BODY $wims_htmlbody>
10 
!!!headmenu
 10 
!!!headmenu
11 
!header1
 11 
!header1
12 
!robottrap
 12 
!robottrap
- 
 
 13 
 
13 
<center>
 14 
<h1 class="wimscenter">
14 
<h1>
 - 
 
15 
!href cmd=renew&style=$style $module_title
 15 
!href cmd=renew&style=$style $module_title
16 
</h1>
 16 
</h1>
17 
</center> <p>
 17 
 
18 
This document is currently under $emph$style$emphend style.
 18 
This document is currently under $emph$style$emphend style.
19 
You may change it to
 19 
You may change it to
20 
!set already=
 20 
!set already=
21 
!for s in integral,indexed,folding
 21 
!for s in integral,indexed,folding
22 
 !if $s != $style
 22 
 !if $s != $style
Line 30... Line 30...
30 
 style. There is also
 30 
 style. There is also
31 
 !href module=help/main.$lang a general help
 31 
 !href module=help/main.$lang a general help
32 
 and
 32 
 and
33 
<a href="http://wims.unice.fr/paper/wims/wims.html">a paper</a>
 33 
<a href="http://wims.unice.fr/paper/wims/wims.html">a paper</a>
34 
on WIMS.
 34 
on WIMS.
35 
<p>
 - 
 
36 
 
 35 
 
37 
!if $style=integral or $style=indexed
 36 
!if $style=integral or $style=indexed
38 
<h2 class="wimscenter"><a name="index">-------- Table of Contents --------</a></h2>
 37 
<h2 class="wimscenter">-------- Table of Contents --------</h2>
- 
 
 38 
<a id="index"></a>
39 
<ul>
 39 
<ul>
40 
 !for set in user,ref
 40 
 !for set in user,ref
41 
  <li><h4>$(title_$set)</h4>
 41 
  <li><h4>$(title_$set)</h4>
42 
  <ol>
 42 
  <ol>
43 
  !for i in $($(set)_doc)
 43 
  !for i in $($(set)_doc)
44 
   <li>
 44 
   <li>
45 
   <a name="toc_$i"></a>
 45 
   <a id="toc_$i"></a>
46 
   $(ref1)$i$(ref2)$i">$(title_$i)</a>
 46 
   $(ref1)$i$(ref2)$i">$(title_$i)</a>
47 
   </li>
 47 
   </li>
48 
  !next i
 48 
  !next i
49 
  </ol>
 49 
  </ol>
50 
  </li>
 50 
  </li>
51 
  !next set
 51 
  !next set
52 
 </ul>
 52 
 </ul>
53 
!else # folding
 53 
!else # folding
54 
 <p>Click on a title to expand or fold out its content.
 54 
 <p>Click on a title to expand or fold out its content.</p>
55 
 !for set in user,ref
 55 
 !for set in user,ref
56 
  <p><hr/><center><h2>$(title_$set)</h2></center>
 56 
  <hr/><h2 class="wimscenter">$(title_$set)</h2>
57 
  !for i in $($(set)_doc)
 57 
  !for i in $($(set)_doc)
58 
   <a name="$i"></a>
 58 
   <a id="$i"></a>
59 
   !if ,$i isin $expand
 59 
   !if ,$i isin $expand
60 
    <hr/><h3>
 60 
    <hr/><h3>
61 
    !href cmd=resume&op=close&subject=$i#$i $(title_$i)
 61 
    !href cmd=resume&op=close&subject=$i#$i $(title_$i)
62 
    </h3>
 62 
    </h3>
63 
    !read $i.phtml
 63 
    !read $i.phtml
64 
    <p><hr/></p>
 64 
    <hr/>
65 
   !else
 65 
   !else
66 
    <h4>$(ref1)$i$(ref2)$i">$(title_$i)</a></h4>
 66 
    <h4>$(ref1)$i$(ref2)$i">$(title_$i)</a></h4>
67 
   !endif
 67 
   !endif
68 
  !next i
 68 
  !next i
69 
 !next set
 69 
 !next set
70 
!endif integral or indexed versus folding
 70 
!endif integral or indexed versus folding
71 
 
 71 
 
72 
!if $style=integral
 72 
!if $style=integral
73 
 !for i in $user_doc,$ref_doc
 73 
 !for i in $user_doc,$ref_doc
- 
 
 74 
  <hr/>
- 
 
 75 
    <a id="$i"></a>
74 
  <hr/><h3 class="wimscenter"><a name="$i">$(title_$i)</a></h3></center>
 76 
    <h3 class="wimscenter">$(title_$i)</h3>
75 
 
 77 
 
76 
  !read $i.phtml
 78 
  !read $i.phtml
77 
  <p>
 79 
  <p>
78 
  <a href="#index">Table of Contents</a>
 80 
  <a href="#index">Table of Contents</a>
- 
 
 81 
  </p>
79 
 !next i
 82 
 !next i
80 
!endif
 83 
!endif
81 
 
 84 
 
82 
!if $style=indexed
 85 
!if $style=indexed
83 
 !for set in $user_doc,$ref_doc
 86 
 !for set in $user_doc,$ref_doc
84 
  !if $set isin $subject
 87 
  !if $set isin $subject
85 
   <a name="$set"></a>
 - 
 
86 
   <hr/><h3 class="wimscenter">$(title_$set)</h3></center>
 - 
 
87 
   !read $set.phtml
 - 
 
88 
   <p>
 88 
   <p>
- 
 
 89 
   <a id="$set"></a>
- 
 
 90 
   <hr/><h3 class="wimscenter">$(title_$set)</h3>
- 
 
 91 
   !read $set.phtml
- 
 
 92 
   </p>
89 
  !endif
 93 
  !endif
90 
 !next set
 94 
 !next set
91 
!endif
 95 
!endif
92 
 
 96 
 
93 
!tail
 97 
!tail