New course: LaTeX

Isabelle is running a new course on the courses mailing list, on the LaTeX markup language. The LaTeX course's homepage is http://www.isabelle-hurbain.com/repository/latex/courses.