Index of /~stolfi/EXPORT/images/tools/bin

	Name	Last modified	Size	Description
	Parent Directory		-
	JUNK/	2006-06-27 15:20	-
	check-gif-sizes	2008-02-04 18:23	698
	check-png-sizes	2008-02-04 18:23	698
	check-superfluous-tiffs	2008-02-04 18:24	2.2K
	choose-test-size	2005-05-05 21:42	719
	collect-all-p-comments	2001-11-30 15:03	557
	compare-blue-noise	1999-11-07 23:04	638
	convert-and-crop-ori..>	2009-12-23 23:51	4.3K
	convert-and-crop-ori..>	2009-12-23 17:40	4.0K
	distribute-p-comments	2008-02-04 18:24	1.8K
	extract-index-entries	2008-03-11 15:48	1.8K
	fix-gif-icon-sizes	2003-11-04 01:30	795
	fix-png-icon-sizes	2003-11-04 01:31	842
	format-subject-index	2008-02-04 18:24	2.1K
	generate-p-sizes	2003-10-31 20:55	2.1K
	junk	2000-05-29 18:50	543
	list-pnm-sizes	2008-02-04 18:25	726
	list-tiff-sizes	2008-02-04 18:26	559
	make-all-portraits	2003-11-04 02:00	1.1K
	make-corrected-ppm	2009-12-26 12:54	2.1K
	make-gif-strip	2003-11-04 02:00	1.1K
	make-png-strip	2003-11-04 02:08	1.1K
	make-scaled-gif-images	2008-02-04 18:26	8.2K
	make-scaled-png-images	2009-12-26 15:34	11K
	make-subject-index	2008-02-04 18:28	5.0K
	plot-gammas-from-xv-..>	2003-11-04 01:52	2.0K
	plot-ppm-line	2009-12-24 16:22	1.2K
	show-lotsa-gif-images	2001-11-30 02:18	594
	show-lotsa-png-images	2003-11-04 01:55	637