The info.zip file contains .tex, .eps (for the figures) and .dvi files from which the .pdf file was generated.

	Name	Last modified	Size	Description
	Parent Directory		-
	HEADER.html	2010-11-18 17:00	242
	header.txt	2010-11-18 17:00	111
	info.pdf	2010-11-18 17:00	276K
	info.zip	2010-11-18 17:00	93K

Apache/2.4.52 (Ubuntu) Server at sims.princeton.edu Port 80