Filename ▼	Summary + Labels ▼	Uploaded ▼	ReleaseDate ▼	Size ▼	DownloadCount ▼	...
	texgui_1_2_win32.zip	TeXGui 1.2 win32	Aug 2008		8.8 MB	619
	texgui_1_2_linux_src.zip	Texgui 1.2 linux src	Aug 2008		857 KB	39
	texgui_linux_src.zip	Texgui 1.1 linux src	Jul 2008		535 KB	20
	texgui_win32.zip	TeXGui 1.1 win32	Jul 2008		8.8 MB	36