K 10
svn:author
V 8
striglia
K 8
svn:date
V 27
2007-01-31T09:14:18.533394Z
K 7
svn:log
V 108
Created a new directory because the ISA variable for knuth is "x86_64", not "x86". This fixes that problem.

END