Subversion Repositories wimsdev

Rev

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

Rev 11282 Rev 12014
Line 35... Line 35...
35 
<a href="http://wims.unice.fr/paper/wims/wims.html">a paper on WIMS.</a>
 35 
<a href="http://wims.unice.fr/paper/wims/wims.html">a paper on WIMS.</a>
36 
 
 36 
 
37 
!if $style=integral or $style=indexed
 37 
!if $style=integral or $style=indexed
38 
 <h2>-- Table of Contents --</h2>
 38 
 <h2>-- Table of Contents --</h2>
39 
 <div id="index">
 39 
 <div id="index">
40 
 !for set in user,ref
 40 
 !for set in user,ref,dev
41 
    <h3>$(title_$set)</h3>
 41 
    <h3>$(title_$set)</h3>
42 
    <ol>
 42 
    <ol>
43 
    !for i in $($(set)_doc)
 43 
    !for i in $($(set)_doc)
44 
     <li id="toc_$i">
 44 
     <li id="toc_$i">
45 
     $(ref1)$i$(ref2)$i">$(title_$i)</a>
 45 
     $(ref1)$i$(ref2)$i">$(title_$i)</a>
Line 47... Line 47...
47 
    !next i
 47 
    !next i
48 
    </ol>
 48 
    </ol>
49 
  !next set
 49 
  !next set
50 
!else # folding
 50 
!else # folding
51 
 <p>Click on a title to expand or fold out its content.</p>
 51 
 <p>Click on a title to expand or fold out its content.</p>
52 
 !for set in user,ref
 52 
 !for set in user,ref,dev
53 
  <hr/><h2 class="wimscenter">$(title_$set)</h2>
 53 
  <hr/><h2 class="wimscenter">$(title_$set)</h2>
54 
  !for i in $($(set)_doc)
 54 
  !for i in $($(set)_doc)
55 
   <a id="$i"></a>
 55 
   <a id="$i"></a>
56 
   !if ,$i isin $expand
 56 
   !if ,$i isin $expand
57 
    <hr/><h3>
 57 
    <hr/><h3>
Line 65... Line 65...
65 
  !next i
 65 
  !next i
66 
 !next set
 66 
 !next set
67 
!endif integral or indexed versus folding
 67 
!endif integral or indexed versus folding
68 
 </div>
 68 
 </div>
69 
!if $style=integral
 69 
!if $style=integral
70 
 !for i in $user_doc,$ref_doc
 70 
 !for i in $user_doc,$ref_doc,$dev_doc
71 
  <hr/>
 71 
  <hr/>
72 
    <h3 id="$i" class="wimscenter">$(title_$i)</h3>
 72 
    <h3 id="$i" class="wimscenter">$(title_$i)</h3>
73 
 
 73 
 
74 
  !read $i.phtml
 74 
  !read $i.phtml
75 
  <p><a href="#index">Table of Contents</a></p>
 75 
  <p><a href="#index">Table of Contents</a></p>
76 
 !next i
 76 
 !next i
77 
!endif
 77 
!endif
78 
 
 78 
 
79 
!if $style=indexed
 79 
!if $style=indexed
80 
 !for set in $user_doc,$ref_doc
 80 
 !for set in $user_doc,$ref_doc,$dev_doc
81 
  !if $set isin $subject
 81 
  !if $set isin $subject
82 
   <hr/><h3 id="$set" class="wimscenter">$(title_$set)</h3>
 82 
   <hr/><h3 id="$set" class="wimscenter">$(title_$set)</h3>
83 
   !read $set.phtml
 83 
   !read $set.phtml
84 
  !endif
 84 
  !endif
85 
 !next set
 85 
 !next set