Hi there, in an attempt to make tinderbox more useful, I have adopted a new short encoding for build names: this should allow to visualize the complete status page at http://www.cs.unipr.it/~tinderbox/PPL-HEAD/status.html without having to scroll left and right (to see this we will have to wait a day or so, when the old build names will disappear). The encoding is of the form MAOHBC, where: M is the machine, one of i igor.cs.unipr.it p spartacus.cs.unipr.it s sandbox.cs.unipr.it c cluster64.unipr.it l clin150.leeds.ac.uk A is the assertion status, one of n no assertions a assertions m more assertions O is the optimization, one of n no optimization z zero m mild d standard s speed u sspeed H is the architecture for which code is being optimized, one of d default 4 Pentium 4 6 Athlon 64 B is the type of build, one of c make check w documentation make world d make distcheck C is the type of coefficients, one of g GMP integers 3 8-bit 4 16-bit 5 32-bit 6 64-bit All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it