Conservative conversion between LaTeX and TeXmacs
Abstract
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
Origin | Files produced by the author(s) |
---|
Format | Other |
---|
Loading...