I played around a bit more with that, and I dont think TexMaker is a good option after all, for example it doesnt suggest bibtex references and other ref things and so on.
Holger is distributing TexStudio.
Can you check on Friday
That it works for everything we want to do (check the full document with all options, see comments below)
Update the readme on the LaTeX to the peculiarities of the current Tex installation, i.e.
that we have this texlive system, meaning that software may not find the distribution
That there is the texmaker editor there that should work in any case, but may not be very good
That, if they have problems with TexStudio, they need to check if the particular command is already set in TexStudio (you have to set the path to each executable by hand in the options - I have set the paths to pdflatex, makeindex and bibtex, which should be enough for us. However, if they want to run XeLaTex, or Latex or something like that it won't work)
I played around a bit more with that, and I dont think TexMaker is a good option after all, for example it doesnt suggest bibtex references and other ref things and so on.
Holger is distributing TexStudio.
Can you check on Friday