mailing-list for TeXmacs Users

[Massimiliano Gubinelli <address@hidden>]

You can try to use Tools->Macros->Extract style file (or Extract style package). It should produce a style file or a style package with all the customization options of the current document.

 I think Jolly Writer talks about these options and in general customization.

Max

On 6 Jul 2023, at 12:00, Richard gomez <address@hidden> wrote:

(French version)

Bonjour, 

j'ai fini d'écrire un livre avec TeXmacs et j'aimerais garder une trace des paramètres modifiés en cours de route pour répondre aux demandes de mon éditeur (la plupart des ces modifications visaient à réduire la taille du document, économie oblige). 

Serait-il possible d'éditer la liste des paramètres modifiés ? J'aimerais garder une trace de toutes ces manipulations pour une utilisation ultérieure. 

J'ai pris soin de consigner certaines d'entre elles dans un fichier, mais malheureusement, je n'ai pas tout noté (ce n'est pas évident d'être dans l'action et dans la description de celle-ci en temps réel). 

Merci de votre attention,

Richard Gomez