version 1.86, 2002/08/30 17:57:32
|
version 1.87, 2002/09/05 19:33:55
|
Line 467 EDITBUTTON
|
Line 467 EDITBUTTON
|
if ($target eq 'web') { |
if ($target eq 'web') { |
$currentstring .= $token->[4]; |
$currentstring .= $token->[4]; |
} elsif ($target eq 'tex') { |
} elsif ($target eq 'tex') { |
$currentstring .= '\large{\textbf{'; |
$currentstring .= '{\large \textbf{'; |
} elsif ($target eq 'meta') { |
} elsif ($target eq 'meta') { |
$currentstring='<subject>'; |
$currentstring='<subject>'; |
&start_output(); |
&start_output(); |
Line 494 EDITBUTTON
|
Line 494 EDITBUTTON
|
if ($target eq 'web') { |
if ($target eq 'web') { |
$currentstring .= $token->[4]; |
$currentstring .= $token->[4]; |
} elsif ($target eq 'tex') { |
} elsif ($target eq 'tex') { |
$currentstring .= '\large{\textbf{'; |
$currentstring .= '{\large \textbf{'; |
} |
} |
return $currentstring; |
return $currentstring; |
} |
} |
Line 515 EDITBUTTON
|
Line 515 EDITBUTTON
|
if ($target eq 'web') { |
if ($target eq 'web') { |
$currentstring .= $token->[4]; |
$currentstring .= $token->[4]; |
} elsif ($target eq 'tex') { |
} elsif ($target eq 'tex') { |
$currentstring .= '\large{\textbf{'; |
$currentstring .= '{\large \textbf{'; |
} |
} |
return $currentstring; |
return $currentstring; |
} |
} |
Line 536 EDITBUTTON
|
Line 536 EDITBUTTON
|
if ($target eq 'web') { |
if ($target eq 'web') { |
$currentstring .= $token->[4]; |
$currentstring .= $token->[4]; |
} elsif ($target eq 'tex') { |
} elsif ($target eq 'tex') { |
$currentstring .= '\large{\textbf{'; |
$currentstring .= '{\large \textbf{'; |
} |
} |
return $currentstring; |
return $currentstring; |
} |
} |
Line 557 EDITBUTTON
|
Line 557 EDITBUTTON
|
if ($target eq 'web') { |
if ($target eq 'web') { |
$currentstring .= $token->[4]; |
$currentstring .= $token->[4]; |
} elsif ($target eq 'tex') { |
} elsif ($target eq 'tex') { |
$currentstring .= '\large{\textbf{'; |
$currentstring .= '{\large \textbf{'; |
} |
} |
return $currentstring; |
return $currentstring; |
} |
} |
Line 578 EDITBUTTON
|
Line 578 EDITBUTTON
|
if ($target eq 'web') { |
if ($target eq 'web') { |
$currentstring .= $token->[4]; |
$currentstring .= $token->[4]; |
} elsif ($target eq 'tex') { |
} elsif ($target eq 'tex') { |
$currentstring .= '\large{\textbf{'; |
$currentstring .= '{\large \textbf{'; |
} |
} |
return $currentstring; |
return $currentstring; |
} |
} |