![[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.35, 2001/12/07 18:46:00 | version 1.36, 2001/12/07 22:23:37 |
|---|---|
| Line 839 sub end_m { | Line 839 sub end_m { |
| if ($target eq 'web') { | if ($target eq 'web') { |
| $currentstring .= $token->[4]; | $currentstring .= $token->[4]; |
| } elsif ($target eq 'tex') { | } elsif ($target eq 'tex') { |
| $currentstring .= '\large{; | $currentstring .= '\large{'; |
| } elsif ($target eq 'latexsource') { | } elsif ($target eq 'latexsource') { |
| $currentstring .= '\large{'; | $currentstring .= '\large{'; |
| } | } |