version 1.84, 2007/08/14 19:32:35
|
version 1.86, 2008/01/29 11:18:06
|
Line 108 sub convert_real {
|
Line 108 sub convert_real {
|
$xmlstring=~s/^\s*\<br clear\=\"all\"/\<br/s; |
$xmlstring=~s/^\s*\<br clear\=\"all\"/\<br/s; |
$xmlstring=~s/^\s*//; |
$xmlstring=~s/^\s*//; |
$xmlstring=~s/\s*$//; |
$xmlstring=~s/\s*$//; |
|
# |
|
# \rightleftharpoons is not converted by tth but maps |
|
# reasonably well to ⇔. If we get many more of these, |
|
# we're going to need to have a translation sub. |
|
# |
|
$xmlstring=~s/\\rightleftharpoons/\&\#8660;/g; |
|
|
&Apache::lonxml::end_alarm(); |
&Apache::lonxml::end_alarm(); |
return ($xmlstring,$errorstring); |
return ($xmlstring,$errorstring); |
} |
} |