Subversion Repositories wimsdev

Rev

Rev 9291 | Rev 11282 | 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
7
!!</HEAD>
8
!!<BODY $wims_htmlbody>
9
!!!headmenu
9291 obado 10
 
11212 bpr 11
!set wims_html_header=!append line <link rel="stylesheet" href="html/themes/_css/tech_doc.css" /> to $wims_html_header
9291 obado 12
 
1091 bpr 13
!header1
32 reyssat 14
!robottrap
5919 bpr 15
 
9291 obado 16
!read adm/title.phtml 1\
17
\
18
$module_title
5919 bpr 19
 
32 reyssat 20
This document is currently under $emph$style$emphend style.
21
You may change it to
22
!set already=
23
!for s in integral,indexed,folding
24
 !if $s != $style
25
  !if $already != $empty
26
   or
27
  !endif
28
  !href cmd=resume&style=$s $s
29
  !set already=yes
30
 !endif
31
!next s
32
 style. There is also
33
 !href module=help/main.$lang a general help
9291 obado 34
 and
35
<a href="http://wims.unice.fr/paper/wims/wims.html">a paper on WIMS.</a>
32 reyssat 36
 
37
!if $style=integral or $style=indexed
9291 obado 38
 <h2>-- Table of Contents --</h2>
39
 <div id="index">
32 reyssat 40
 !for set in user,ref
9291 obado 41
    <h3>$(title_$set)</h3>
42
    <ol>
43
    !for i in $($(set)_doc)
44
     <li id="toc_$i">
45
     $(ref1)$i$(ref2)$i">$(title_$i)</a>
46
     </li>
47
    !next i
48
    </ol>
32 reyssat 49
  !next set
50
!else # folding
5919 bpr 51
 <p>Click on a title to expand or fold out its content.</p>
32 reyssat 52
 !for set in user,ref
5919 bpr 53
  <hr/><h2 class="wimscenter">$(title_$set)</h2>
32 reyssat 54
  !for i in $($(set)_doc)
5919 bpr 55
   <a id="$i"></a>
32 reyssat 56
   !if ,$i isin $expand
5766 bpr 57
    <hr/><h3>
32 reyssat 58
    !href cmd=resume&op=close&subject=$i#$i $(title_$i)
59
    </h3>
60
    !read $i.phtml
5919 bpr 61
    <hr/>
32 reyssat 62
   !else
1091 bpr 63
    <h4>$(ref1)$i$(ref2)$i">$(title_$i)</a></h4>
32 reyssat 64
   !endif
65
  !next i
66
 !next set
67
!endif integral or indexed versus folding
68
 
69
!if $style=integral
70
 !for i in $user_doc,$ref_doc
5919 bpr 71
  <hr/>
9291 obado 72
    <h3 id="$i" class="wimscenter">$(title_$i)</h3>
1091 bpr 73
 
32 reyssat 74
  !read $i.phtml
9291 obado 75
  <p><a href="#index">Table of Contents</a></p>
32 reyssat 76
 !next i
77
!endif
78
 
79
!if $style=indexed
80
 !for set in $user_doc,$ref_doc
81
  !if $set isin $subject
9291 obado 82
   <hr/><h3 id="$set" class="wimscenter">$(title_$set)</h3>
32 reyssat 83
   !read $set.phtml
84
  !endif
85
 !next set
86
!endif
87
 
88
!tail
89