Subversion Repositories wimsdev

Rev

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

Rev 5766 Rev 5921
Line 1... Line 1...
1
!! +exec+ +var+ +vardef+
1
!! +exec+ +var+ +vardef+
2
$lst_tit module$lst_titend$type_both
2
$lst_tit module$lst_titend$type_both
3
  $(lst_syntax)module $emph defname$emphend $emph modname$emphend</tt>
3
  $(lst_syntax)module $emph defname$emphend $emph modname$emphend</span>
4
  $lst_mean Returns the definition for $emph defname$emphend of the module
4
  $lst_mean Returns the definition for $emph defname$emphend of the module
5
  $emph modname$emphend. The most common use of this command is to get the
5
  $emph modname$emphend. The most common use of this command is to get the
6
  title of a module ($emph defname$emphend is then <tt>title</tt>). <br/>
6
  title of a module ($emph defname$emphend is then <span class="tt">title</span>). <br/>
7
  The INDEX file of the module $emph modname$emphend will be parsed to look
7
  The INDEX file of the module $emph modname$emphend will be parsed to look
8
  for the definition of $emph defname$emphend.
8
  for the definition of $emph defname$emphend.
9
 
9
 
10
 
10