mailing-list for TeXmacs Users

[Darcy Shen <address@hidden>]

The XML format is in a experimental status. There are several severe bugs. I suggest that one should not use it.

I tried to fix the bugs for the XML format but realized that if I'm going to fix the bug, it will bring too much changes. As a result, I decided to postpone the fix.

---- On Thu, 2021-01-21 01:29:01 Massimiliano Gubinelli <address@hidden> wrote ----

Seems to me a very convoluted approach. He can just look at the LaTeX converted files and then do there what he wants to do. TeXmacs will take care of all the conversions (usually). In order to make his work easier one could define appropriate macros in TeXmacs which TeXmacs can leave as they are (i.e. without expanding) in the LaTeX source, then it will be enough just to redefine the macros from within LaTeX.

Another possibility is to export to Scheme or to XML which are formats which allow easier analysis from outside tools. The TeXmacs format is not really designed for that.

Anyway.

Max

On 20. Jan 2021, at 18:05, Vincent Douce Mathoscope <address@hidden> wrote:

Le 19 janv. 2021 à 17:14, Massimiliano Gubinelli <address@hidden> a écrit :

TeXmacs internal encoding is something similar but not equal to Cork (with extension to be able to represent characters beyond the Cork encoding). Essentially is an in-house version of unicode. But I do not think it is very important to you, since, as Basile says, only TeXmacs reads TeXmacs files. When you export to LaTeX, then I think TeXmacs uses unicode. It would be easy to check: just write a file with some accents or some strange glyphs and convert to LaTeX :)

max

merci Max, voici la réponse de mon gars, sur… le pourquoi de sa question,suite à ta réponse :

C'est ce que j'ai trouve moi aussi. C'est simplement pour analyser la
source texmacs et peut-etre ecrire un petit script pour changer la
source en evoquant des commandes LaTeX. Mais peu importe: j'ai ouvert un
fichier .tm avec un editeur, le transforme en UTF-8, et texmacs ne s'est
pas plaint.

On 19. Jan 2021, at 17:03, Vincent Douce Mathoscope <address@hidden> wrote:

the guy wanted to know if texmacs is encoded in unicode, iso-anything or i d'ont know whatever

iunderstand that you ask the reason why he wants to know

i knot really know but he is a latexian and for the conversion to .tex he asked me this question

Vincent

Le 19 janv. 2021 à 14:45, Basile Audoly <address@hidden> a écrit :

Hi Vincent,

can you clarify why you need to know about the encoding? I don't see why it could matter given that TeXmacs is the only application that is supposed to read/write such files.

Basile

Le 19 janv. 2021 à 14:21, Vincent Douce Mathoscope <address@hidden> a écrit :

a german colleague asked me how one can change the encoding of a document

and what is the encoding by default ?

----

Vincent Douce

https://lemathoscope.com/

cours de maths postbac par visio

----

Vincent Douce

https://lemathoscope.com/

cours de maths postbac par visio