On Mar 19, 2004, at 6:02 AM, Karl Berry wrote: > FWIW, I agree with Sebastian -- forget 8.3. OK, better *.sty file names added to the TODO list. -- Leif Harcke lharcke at stanford.edu