On Wed, 22 Aug 2001, Richard Earnshaw wrote: >> +<p>The pages on gcc.gnu.org are updated "life" (that is, directly after > I think you mean "live". ÃÂhm, yes. Thanks for pointing this out! Fixed. Gerald -- Gerald "Jerry" pfeifer@dbai.tuwien.ac.at http://www.dbai.tuwien.ac.at/~pfeifer/