Single-source publishing in multiple formats for different output devices∗ Petr Sojka Faculty of Informatics, Masaryk University Botanick´ a 68a, [removed]Brno, Czech Republic sojka (at) fi dot muni dot cz

First Page		Document Content
Date: 2007-12-09 14:16:50 TeX4ht MathML LaTeX HTML TeX EPUB Cascading Style Sheets ConTeXt Mathematical notation Computing Markup languages Web standards		Single-source publishing in multiple formats for different output devices∗ Petr Sojka Faculty of Informatics, Masaryk University Botanick´ a 68a, [removed]Brno, Czech Republic sojka (at) fi dot muni dot cz Add to Reading List Source URL: tug.org Download Document from Source Website File Size: 663,58 KB Share Document on Facebook

	Draft version October 9, 2018 Preprint typeset using LATEX style emulateapj vCAN MOONS HAVE MOONS? Juna A. Kollmeier1 & Sean N. Raymond2 DocID: 1xVRt - View Document
	LATEX Sugar for Isabelle Documents Florian Haftmann, Gerwin Klein, Tobias Nipkow, Norbert Schirmer August 15, 2018 Abstract This document shows how to typset mathematics in Isabelle-based DocID: 1xVCA - View Document
	LATEX Sugar for Isabelle Documents Florian Haftmann, Gerwin Klein, Tobias Nipkow, Norbert Schirmer August 15, 2018 Abstract This document shows how to typset mathematics in Isabelle-based DocID: 1xUVj - View Document
	LATEX Sugar for Isabelle Documents Florian Haftmann, Gerwin Klein, Tobias Nipkow, Norbert Schirmer August 15, 2018 Abstract This document shows how to typset mathematics in Isabelle-based DocID: 1xTqv - View Document
	PDF Document DocID: 1xEgP - View Document