Subversion Repositories wimsdev

$lst_tit module$lst_titend$type_both

type:$type_both

  $(lst_syntax)module $emph defname$emphend $emph modname$emphend</span>

syntax:!module `defname' `modname'

  $lst_mean Returns the definition for $emph defname$emphend of the module

mean:Returns the definition for `defname' of the module `modname'.\

  $emph modname$emphend. The most common use of this command is to get the

 The most common use of this command is to get the title of a module \

  title of a module ($emph defname$emphend is then <span class="tt">title</span>). <br/>

  (`defname' is then <span class="tt">title</span>). <br/>\

  The INDEX file of the module $emph modname$emphend will be parsed to look

  The INDEX file of the module `modname' will be parsed to look\

  for the definition of $emph defname$emphend.

  for the definition of `defname'.