mailing-list for TeXmacs Users

[Massimiliano Gubinelli <address@hidden>]

The bug tracker is alive! Developers look at it and ponders about solving the bugs. It would be nice if we have some help from people keeping the bug reports updated, meaning periodically checking that the bugs are still there and eventually they are reproducible. Of course better help would be solve some of those :)

best

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).

Basile

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,