Subversion Repositories wimsdev

Rev

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

Rev 13470 Rev 14064
Line 24... Line 24...
24
 
24
 
25
This document is currently under $emph$style$emphend style.
25
This document is currently under $emph$style$emphend style.
26
You may change it to
26
You may change it to
27
!set already=
27
!set already=
28
!for s in integral,indexed,folding
28
!for s in integral,indexed,folding
29
 !if $s != $style
29
  !if $s != $style
30
  !if $already != $empty
30
    !if $already != $empty
31
   or
31
     or
-
 
32
    !endif
-
 
33
    !href cmd=resume&style=$s $s
-
 
34
    !set already=yes
32
  !endif
35
  !endif
33
  !href cmd=resume&style=$s $s
-
 
34
  !set already=yes
-
 
35
 !endif
-
 
36
!next s
36
!next s
37
 style. There is also
37
 style. There is also
38
 !href module=help/main.$lang a general help
38
 !href module=help/main.$lang a general help
39
 and
39
 and
40
<a href="http://wims.unice.fr/paper/wims/wims.html">a paper on WIMS.</a>
40
<a href="http://wims.unice.fr/paper/wims/wims.html">a paper on WIMS.</a>
41
 
41
 
42
!if $style=integral or $style=indexed
42
!if $style=integral or $style=indexed
43
 <h2>-- Table of Contents --</h2>
43
  <h2>-- Table of Contents --</h2>
44
 <div id="index">
44
  <div id="index">
45
 !for set in user,ref,dev
45
  !for set in user,ref,dev
46
    <h3>$(title_$set)</h3>
46
    <h3>$(title_$set)</h3>
47
    <ol>
47
     <ol>
48
    !for i in $($(set)_doc)
48
    !for i in $($(set)_doc)
49
     <li id="toc_$i">
49
      <li id="toc_$i">
50
     $(ref1)$i$(ref2)$i">$(title_$i)</a>
50
      $(ref1)$i$(ref2)$i">$(title_$i)</a>
51
     </li>
51
      </li>
52
    !next i
52
    !next i
53
    </ol>
53
     </ol>
54
  !next set
54
  !next set
55
!else # folding
55
!else # folding
56
 <p>Click on a title to expand or fold out its content.</p>
56
 <p>Click on a title to expand or fold out its content.</p>
57
 !for set in user,ref,dev
57
  !for set in user,ref,dev
58
  <hr/><h2 class="wimscenter">$(title_$set)</h2>
58
    <hr/><h2 class="wimscenter">$(title_$set)</h2>
59
  !for i in $($(set)_doc)
59
    !for i in $($(set)_doc)
60
   <a id="$i"></a>
60
      <a id="$i"></a>
61
   !if ,$i isin $expand
61
      !if ,$i isin $expand
62
    <hr/><h3>
62
       <hr/><h3>
63
    !href cmd=resume&op=close&subject=$i#$i $(title_$i)
63
       !href cmd=resume&op=close&subject=$i#$i $(title_$i)
64
    </h3>
64
       </h3>
65
    !read $i.phtml
65
       !read $i.phtml
66
    <hr/>
66
       <hr/>
67
   !else
67
      !else
68
    <h4>$(ref1)$i$(ref2)$i">$(title_$i)</a></h4>
68
       <h4>$(ref1)$i$(ref2)$i">$(title_$i)</a></h4>
69
   !endif
69
      !endif
70
  !next i
70
    !next i
71
 !next set
71
 !next set
72
!endif integral or indexed versus folding
72
!endif integral or indexed versus folding
73
 </div>
73
 </div>
74
!if $style=integral
74
!if $style=integral
75
 !for i in $user_doc,$ref_doc,$dev_doc
75
  !for i in $user_doc,$ref_doc,$dev_doc
76
  <hr/>
76
    <hr/>
77
    <h3 id="$i" class="wimscenter">$(title_$i)</h3>
77
      <h3 id="$i" class="wimscenter">$(title_$i)</h3>
78
 
-
 
79
  !read $i.phtml
78
    !read $i.phtml
80
  <p><a href="#index">Table of Contents</a></p>
79
    <p><a href="#index">Table of Contents</a></p>
81
 !next i
80
  !next i
82
!endif
81
!endif
83
 
82
 
84
!if $style=indexed
83
!if $style=indexed
85
 !for set in $user_doc,$ref_doc,$dev_doc
84
  !for set in $user_doc,$ref_doc,$dev_doc
86
  !if $set isin $subject
85
    !if $set isin $subject
87
   <hr/><h3 id="$set" class="wimscenter">$(title_$set)</h3>
86
      <hr/><h3 id="$set" class="wimscenter">$(title_$set)</h3>
88
   !read $set.phtml
87
      !read $set.phtml
89
  !endif
88
    !endif
90
 !next set
89
  !next set
91
!endif
90
!endif
92
 
91
 
93
!tail
92
!tail
94
 
-