#!/bin/csh

foreach f (7.5 7.6 8.0 8.1 8.2 8.3) 
	tclsh$f benchmarks.tcl
end

