LATEX News Issue 13, June 2000 Yearly release cycle We announced in LATEX News 11 that we intended to switch to a 12-monthly release schedule. With the

First Page		Document Content
Date: 2016-08-08 13:00:04 Software Application software Computing Open formats Digital typography Typesetting TeX LaTeX PostScript PSfrag ConTeXt		LATEX News Issue 13, June 2000 Yearly release cycle We announced in LATEX News 11 that we intended to switch to a 12-monthly release schedule. With the Add to Reading List Source URL: www.latex-project.org Download Document from Source Website File Size: 83,08 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