Ich wollte mir die neue Demo von Mizar runterladen, bemerkte jedoch dann einen riesen Fehler, der hier gar nicht erwähnt wurde. Wenn es wirklich ein Fehler ist, so habe ich nun den 7 Fehler bei den Updates gefunden
Naja ... hab mal ein Bild davon gemacht:
Zitieren