Maintenance work: ShareLaTeX

Now available at new server address

2022/11/17

After the system move had to be postponed due to technical problems, ShareLaTeX is now available at the new address https://sharelatex.tu-darmstadt.de/. All data has been ported to the new system.