Meldungsnummer: 202008261555
Zeitraum: 27.08.2020, 17:30 – ca. 18:00 Uhr
Betroffen: ShareLatex
Auswirkungen: ShareLatex.gwdg.de steht nicht zur Verfügung

Das Update von ShareLatex ist abgeschlossen und der Dienst steht wieder zur Verfügung.
Neu ist, dass nun die zu verwendende TexLive in den Projekt-Einstellungen gewählt werden
kann. So können auch ältere mit passenden Versionen kompiliert werden.