GNU Texmacs: differenze tra le versioni

Versione delle 20:38, 20 nov 2020

Versione delle 23:26, 20 nov 2020

Riga 42:

I documenti possono essere controllati con un sistema di macro nativo o usando Guile-Scheme. È possibile personalizzare i menu dell'editor e le scorciatoie da tastiera e manipolare programmaticamente gli alberi di TeXmacs.

==== LaLe macro di TeXmacs ====

Le macro di TeXmacs sono un modo di effettuare l'input strutturato (come in TeX/LaTeX) e sono rese tipograficamente in tempo reale, mantenendo allo stesso tempo campi di input editabili.