![[BACK]](/icons/back.gif){kind=icon}
Return to londefdef.pm CVS log ![[TXT]](/icons/text.gif){kind=icon}
![[DIR]](/icons/dir.gif){kind=icon}
Up to [LON-CAPA] / loncom / xml|
Return to londefdef.pm CVS log | Up to [LON-CAPA] / loncom / xml |
| version 1.73, 2002/07/12 16:37:38 | version 1.74, 2002/07/16 21:03:26 |
|---|---|
| Line 1035 EDITBUTTON | Line 1035 EDITBUTTON |
| if ($target eq 'web') { | if ($target eq 'web') { |
| $currentstring .= $token->[4]; | $currentstring .= $token->[4]; |
| } elsif ($target eq 'tex') { | } elsif ($target eq 'tex') { |
| $currentstring .= "\\hline "; | $currentstring .= '\vskip 0 mm \noindent\makebox[\textwidth - 8 mm][b]{\hrulefill}'; |
| } | } |
| return $currentstring; | return $currentstring; |
| } | } |