I don't know what's wrong here. I can see only 11 matching items
there, dated from 2002 to 2015.
Le 05/06/2019 à 18:08, Massimiliano
Gubinelli a écrit :
That’s not true: there are bugs submitted even in 2019…
Max
On 5. Jun 2019, at 17:53, Frank <address@hidden>
wrote:
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,
--
Best wishes!
Yours,
|