Conservative conversion between LaTeX and TeXmacs
Résumé
Back and forth converters between two document formats are said to be conservative if the following holds: given a source document D, its conversion D', a locally modified version M' of D' and the back conversion M of M', the document M is a locally modified version of D. We will describe mechanisms for the implementation of such converters, with the LaTeX and TeXmacs formats as our guiding example.
Fichier principal
latexconv_submitted_20120227.pdf (220.26 Ko)
Télécharger le fichier
latexconv.tm (71.5 Ko)
Télécharger le fichier
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Format | Autre |
---|
Loading...