Subversion Repositories wimsdev

Rev

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

Rev 86 Rev 1091
Line 1... Line 1...
1 
<HTML><HEAD>
 1 
!!<HTML><HEAD>
2 
!!if $style != folding
 2 
!!!if $style != folding
3 
!if $style = $empty
 3 
!if $style = $empty
4 
  wims_expire=
 4 
  wims_expire=
5 
!endif
 5 
!endif
6 
$wims_html_header
 6 
!!$wims_html_header
7 
 
 7 
 
8 
</HEAD>
 8 
!!</HEAD>
9 
<BODY $wims_htmlbody>
 9 
!!<BODY $wims_htmlbody>
- 
 
 10 
!!!headmenu
- 
 
 11 
!header1
10 
!robottrap
 12 
!robottrap
11 
!headmenu
 - 
 
12 
 
 - 
 
13 
<CENTER>
 13 
<center>
14 
<H1>
 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 
</center> <p>
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 33... Line 33...
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>
 35 
<p>
36 
 
 36 
 
37 
!if $style=integral or $style=indexed
 37 
!if $style=integral or $style=indexed
38 
 <a name=index><center><h2>-------- Table of Contents --------</h2></center></a><ul>
 38 
 <center><h2><a name=index>-------- Table of Contents --------</a></h2></center><ul>
39 
 !for set in user,ref
 39 
 !for set in user,ref
40 
  <li><H4>$(title_$set)</H4>
 40 
  <li><H4>$(title_$set)</H4>
41 
  <ol>
 41 
  <ol>
42 
  !for i in $($(set)_doc)
 42 
  !for i in $($(set)_doc)
43 
   <li>
 43 
   <li>
44 
   <a name=toc_$i></a>
 44 
   <a name=toc_$i></a>
45 
   $(ref1)$i$(ref2)$i>$(title_$i)</a>
 45 
   $(ref1)$i$(ref2)$i">$(title_$i)</a>
46 
   </li>
 46 
   </li>
47 
  !next i
 47 
  !next i
48 
  </ol>
 48 
  </ol>
49 
  </li>
 49 
  </li>
50 
  !next set
 50 
  !next set
51 
 </ul>
 51 
 </ul>
52 
!else # folding
 52 
!else # folding
53 
 <p>Click on a title to expand or fold out its content.
 53 
 <p>Click on a title to expand or fold out its content.
54 
 !for set in user,ref
 54 
 !for set in user,ref
55 
  <p><hr><center><H2>$(title_$set)</h2></center>
 55 
  <p><hr><center><h2>$(title_$set)</h2></center>
56 
  !for i in $($(set)_doc)
 56 
  !for i in $($(set)_doc)
57 
   <a name=$i></a>
 57 
   <a name="$i"></a>
58 
   !if ,$i isin $expand
 58 
   !if ,$i isin $expand
59 
    <hr><h3>
 59 
    <hr><h3>
60 
    !href cmd=resume&op=close&subject=$i#$i $(title_$i)
 60 
    !href cmd=resume&op=close&subject=$i#$i $(title_$i)
61 
    </h3>
 61 
    </h3>
62 
    !read $i.phtml
 62 
    !read $i.phtml
63 
    <p><hr>
 63 
    <p><hr>
64 
   !else
 64 
   !else
65 
    <h4>$(ref1)$i$(ref2)$i>$(title_$i)</a></h4>
 65 
    <h4>$(ref1)$i$(ref2)$i">$(title_$i)</a></h4>
66 
   !endif
 66 
   !endif
67 
  !next i
 67 
  !next i
68 
 !next set
 68 
 !next set
69 
!endif integral or indexed versus folding
 69 
!endif integral or indexed versus folding
70 
 
 70 
 
71 
!if $style=integral
 71 
!if $style=integral
72 
 !for i in $user_doc,$ref_doc
 72 
 !for i in $user_doc,$ref_doc
73 
  <a name=$i>
 - 
 
74 
  <hr><center><h3>$(title_$i)</h3></center>
 73 
  <hr><center><h3><a name="$i">$(title_$i)</a></h3></center>
75 
  </a>
 74 
 
76 
  !read $i.phtml
 75 
  !read $i.phtml
77 
  <p>
 76 
  <p>
78 
  <a href=#index>Table of Contents</a>
 77 
  <a href="#index">Table of Contents</a>
79 
 !next i
 78 
 !next i
80 
!endif
 79 
!endif
81 
 
 80 
 
82 
!if $style=indexed
 81 
!if $style=indexed
83 
 !for set in $user_doc,$ref_doc
 82 
 !for set in $user_doc,$ref_doc
84 
  !if $set isin $subject
 83 
  !if $set isin $subject
85 
   <a name=$set></a>
 84 
   <a name="$set"></a>
86 
   <hr><center><h3>$(title_$set)</h3></center>
 85 
   <hr><center><h3>$(title_$set)</h3></center>
87 
   !read $set.phtml
 86 
   !read $set.phtml
88 
   <p>
 87 
   <p>
89 
  !endif
 88 
  !endif
90 
 !next set
 89 
 !next set