Baskerville The Annals of the UK TEX Users’ Group Guest Editor: David Carlisle

First Page		Document Content
Date: 1998-02-23 11:11:10 Donald Knuth TeX Typesetting LaTeX Computer Modern Metafont Device independent file format Computer font Baskerville Typography Digital typography Application software		Baskerville The Annals of the UK TEX Users’ Group Guest Editor: David Carlisle Add to Reading List Source URL: ctan.mirror.ac.za Download Document from Source Website File Size: 331,86 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