Subversion Repositories wimsdev

Rev

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

Rev 5769 Rev 5798
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 
 <center><h2><a name="index">-------- Table of Contents --------</a></h2></center><ul>
 38 
<h2 class="wimscenter"><a name="index">-------- Table of Contents --------</a></h2>
- 
 
 39 
<ul>
39 
 !for set in user,ref
 40 
 !for set in user,ref
40 
  <li><h4>$(title_$set)</h4>
 41 
  <li><h4>$(title_$set)</h4>
41 
  <ol>
 42 
  <ol>
42 
  !for i in $($(set)_doc)
 43 
  !for i in $($(set)_doc)
43 
   <li>
 44 
   <li>
Line 58... Line 59...
58 
   !if ,$i isin $expand
 59 
   !if ,$i isin $expand
59 
    <hr/><h3>
 60 
    <hr/><h3>
60 
    !href cmd=resume&op=close&subject=$i#$i $(title_$i)
 61 
    !href cmd=resume&op=close&subject=$i#$i $(title_$i)
61 
    </h3>
 62 
    </h3>
62 
    !read $i.phtml
 63 
    !read $i.phtml
63 
    <p><hr/>
 64 
    <p><hr/></p>
64 
   !else
 65 
   !else
65 
    <h4>$(ref1)$i$(ref2)$i">$(title_$i)</a></h4>
 66 
    <h4>$(ref1)$i$(ref2)$i">$(title_$i)</a></h4>
66 
   !endif
 67 
   !endif
67 
  !next i
 68 
  !next i
68 
 !next set
 69 
 !next set
69 
!endif integral or indexed versus folding
 70 
!endif integral or indexed versus folding
70 
 
 71 
 
71 
!if $style=integral
 72 
!if $style=integral
72 
 !for i in $user_doc,$ref_doc
 73 
 !for i in $user_doc,$ref_doc
73 
  <hr/><center><h3><a name="$i">$(title_$i)</a></h3></center>
 74 
  <hr/><h3 class="wimscenter"><a name="$i">$(title_$i)</a></h3></center>
74 
 
 75 
 
75 
  !read $i.phtml
 76 
  !read $i.phtml
76 
  <p>
 77 
  <p>
77 
  <a href="#index">Table of Contents</a>
 78 
  <a href="#index">Table of Contents</a>
78 
 !next i
 79 
 !next i
Line 80... Line 81...
80 
 
 81 
 
81 
!if $style=indexed
 82 
!if $style=indexed
82 
 !for set in $user_doc,$ref_doc
 83 
 !for set in $user_doc,$ref_doc
83 
  !if $set isin $subject
 84 
  !if $set isin $subject
84 
   <a name="$set"></a>
 85 
   <a name="$set"></a>
85 
   <hr/><center><h3>$(title_$set)</h3></center>
 86 
   <hr/><h3 class="wimscenter">$(title_$set)</h3></center>
86 
   !read $set.phtml
 87 
   !read $set.phtml
87 
   <p>
 88 
   <p>
88 
  !endif
 89 
  !endif
89 
 !next set
 90 
 !next set
90 
!endif
 91 
!endif