I think I am going to bite the bullet and switch over to Jaguar over the Christmas break. There was some discussion, when Jaguar first came out, about things to be careful with regarding tetex and TexShop. Does anyone have a list of the issues that I could refer to?
Thanks for any help. -- M. Tamer Ozsu University of Waterloo
