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	18-Nov-2010 17:00	242
	header.txt	18-Nov-2010 17:00	111
	info.pdf	18-Nov-2010 17:00	276K
	info.zip	18-Nov-2010 17:00	93K

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