Subversion Repositories wimsdev

Rev

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

Rev Author Line No. Line
1091 bpr 1
!!<HTML><HEAD>
2
!!!if $style != folding
32 reyssat 3
!if $style = $empty
4
  wims_expire=
5
!endif
1091 bpr 6
!!$wims_html_header
32 reyssat 7
 
1091 bpr 8
!!</HEAD>
9
!!<BODY $wims_htmlbody>
10
!!!headmenu
11
!header1
32 reyssat 12
!robottrap
1091 bpr 13
<center>
14
<h1>
32 reyssat 15
!href cmd=renew&style=$style $module_title
1091 bpr 16
</h1>
17
</center> <p>
32 reyssat 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
3092 bpr 38
 <center><h2><a name="index">-------- Table of Contents --------</a></h2></center><ul>
32 reyssat 39
 !for set in user,ref
5769 bpr 40
  <li><h4>$(title_$set)</h4>
32 reyssat 41
  <ol>
42
  !for i in $($(set)_doc)
43
   <li>
3092 bpr 44
   <a name="toc_$i"></a>
1091 bpr 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
5766 bpr 55
  <p><hr/><center><h2>$(title_$set)</h2></center>
32 reyssat 56
  !for i in $($(set)_doc)
1091 bpr 57
   <a name="$i"></a>
32 reyssat 58
   !if ,$i isin $expand
5766 bpr 59
    <hr/><h3>
32 reyssat 60
    !href cmd=resume&op=close&subject=$i#$i $(title_$i)
61
    </h3>
62
    !read $i.phtml
5766 bpr 63
    <p><hr/>
32 reyssat 64
   !else
1091 bpr 65
    <h4>$(ref1)$i$(ref2)$i">$(title_$i)</a></h4>
32 reyssat 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
5766 bpr 73
  <hr/><center><h3><a name="$i">$(title_$i)</a></h3></center>
1091 bpr 74
 
32 reyssat 75
  !read $i.phtml
76
  <p>
1091 bpr 77
  <a href="#index">Table of Contents</a>
32 reyssat 78
 !next i
79
!endif
80
 
81
!if $style=indexed
82
 !for set in $user_doc,$ref_doc
83
  !if $set isin $subject
1091 bpr 84
   <a name="$set"></a>
5766 bpr 85
   <hr/><center><h3>$(title_$set)</h3></center>
32 reyssat 86
   !read $set.phtml
87
   <p>
88
  !endif
89
 !next set
90
!endif
91
 
92
!tail
93