Rev 11292 | Details | Compare with Previous | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 32 | reyssat | 1 | !! +exec+ +var+ +vardef+ |
| 11210 | bpr | 2 | tit:module |
| 3 | type:$type_both |
||
| 11292 | bpr | 4 | syntax:!module ``defname'' ``modname'' |
| 5 | mean:Returns the definition for ``defname'' of the module ``modname''.\ |
||
| 11210 | bpr | 6 | The most common use of this command is to get the title of a module \ |
| 17228 | bpr | 7 | (``defname'' is then <span class="tt">title</span>). <br>\ |
| 11292 | bpr | 8 | The INDEX file of the module ``modname'' will be parsed to look\ |
| 9 | for the definition of ``defname''. |