version 1.7, 2001/12/07 20:38:31
|
version 1.8, 2001/12/11 15:26:25
|
Line 3841
|
Line 3841
|
</render> |
</render> |
</definetag> |
</definetag> |
|
|
|
<definetag name = "nointerlineskip"> |
|
<meta></meta> |
|
<render> |
|
<web></web> |
|
<tex>\nointerlineskip</tex> |
|
<latexsource>\nointerlineskip</latexsource> |
|
</render> |
|
</definetag> |
|
|
|
|
|
<definetag name = "/nointerlineskip"> |
|
<meta></meta> |
|
<render> |
|
<web></web> |
|
<tex></tex> |
|
<latexsource></latexsource> |
|
</render> |
|
</definetag> |
|
|
|
|
<definetag name = "newpage"> |
<definetag name = "newpage"> |
<meta></meta> |
<meta></meta> |