Dear all,
I wonder wheter to file a bug report. It seems to me that
https://savannah.gnu.org/bugs/?group=texmacs is out dated: The
latest post was in 2015.
Best wishes,
Le 05/06/2019 à 13:58, Basile Audoly a
écrit :
Hi Frank,
I think the easiest would be to file a bug report.
Simply mention which version of TeXmacs you are running, and
include an accurate description of the bug (missing arrow).
Le 5 juin 2019 à 13:08, Frank <address@hidden> a
écrit :
Dear all,
I don't know whether these issues are fixed in the
latest source, so I have not reported a bug yet. The
second is more serious because it results in
irrecoverable errors.
I attached a minimal working example, and the generated
html file.
Best wishes,
Le 01/06/2019 à 21:59, Frank a écrit :
Dear all,
I find that conversions to HTML in TeXmacs are not
excellent. I point out two issues that I find:
1. The declaration of the encoding should be set in
<meta charset="UTF-8"/> instead of <?xml
encoding="UTF-8"/>. It seems to me that the first
is complying to standards (https://www.w3.org/International/questions/qa-html-encoding-declarations)
and the later is not recognized at least in Firefox.
2. The extensible arrows seems to be converted
wrongly. For example,
\<longrightarrowlim\><rsup|f<rsub|p>>
will be incorrectly converted to
<mo>⟶</mo><msub><mi>f</mi><mi>p</mi></msub>.
When the text above the extensible arrow is long, it
will vanish in the generated html file. Here is an
example of correct MathML code for extensible arrows:
http://www.mathtoweb.com/mathml/xrightarrow.xml
Best wishes,
--
Best wishes!
Yours,
<test.html><test.tm>
--
Best wishes!
Yours,
|