Sorry for a really ignorant question: I use TeXShop for all my TeX use. Do I have to download TeX2015 or will TeXShop take care of it for me? Once again, I apologise for my ignorance. Tim Brophy