Subversion Repositories wimsdev

Rev

Rev 32 | Rev 1091 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed

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