First time here? Check out the FAQ!
answered 2015-02-06 18:31:52 +0100
as a last resort open the terminal, run latex or pdflatex there...
updated 2015-02-06 18:32:06 +0100
as a last resort resort, open the terminal, run latex or pdflatex there...