version 1.181, 2002/07/15 19:45:18
|
version 1.184, 2002/07/24 20:25:23
|
Line 384 ENDPARM
|
Line 384 ENDPARM
|
menu.switchbutton |
menu.switchbutton |
(8,1,'eval.gif','evaluate','this','gopost("/adm/evaluate",currentURL)'); |
(8,1,'eval.gif','evaluate','this','gopost("/adm/evaluate",currentURL)'); |
menu.switchbutton |
menu.switchbutton |
(8,2,'fdbk.gif','feedback','on this','gopost("/adm/feedback",currentURL)'); |
(8,2,'fdbk.gif','feedback','discuss','gopost("/adm/feedback",currentURL)'); |
menu.switchbutton |
menu.switchbutton |
(8,3,'prt.gif','prepare','printout','gopost("/adm/printout",currentURL)'); |
(8,3,'prt.gif','prepare','printout','gopost("/adm/printout",currentURL)'); |
menu.switchbutton |
menu.switchbutton |
Line 546 sub inner_xmlparse {
|
Line 546 sub inner_xmlparse {
|
while ($token = $$pars['-1']->get_token) { |
while ($token = $$pars['-1']->get_token) { |
if (($token->[0] eq 'T') || ($token->[0] eq 'C') || ($token->[0] eq 'D') ) { |
if (($token->[0] eq 'T') || ($token->[0] eq 'C') || ($token->[0] eq 'D') ) { |
if ($metamode<1) { |
if ($metamode<1) { |
$result=$token->[1]; |
if ($target eq 'tex') { |
|
my @temp_array = @$stack; |
|
if ($temp_array[-1] ne 'm') { |
|
if ($temp_array[-1] ne 'tt') { |
|
if ($token->[1]=~m/\^/) {$token->[1]=~s/\^/\\verb|\^|/g;} |
|
} else { |
|
if ($token->[1]=~m/\^/) {$token->[1]=~s/\^/}\\verb|\^|{/g;} |
|
} |
|
if ($token->[1]=~m/>/) {$token->[1]=~s/>/\$>\$/g;} |
|
if ($token->[1]=~m/</) {$token->[1]=~s/</\$<\$/g;} |
|
} |
|
} |
|
$result.=$token->[1]; |
} |
} |
} elsif ($token->[0] eq 'PI') { |
} elsif ($token->[0] eq 'PI') { |
if ($metamode<1) { |
if ($metamode<1) { |