I have asked this before, but there were different opinions on how to proceed (texlive vs miktex). A colleague of mine in Trondheim (Norway) has his son at home in these days and he would like to help his father in installing. What should he use? I am on Linux and can't help therefore. Wolfgang