Subversion Repositories wimsdev

Rev

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

Rev 1091 Rev 3092
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 
 <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>