Nach längerer Zeit hat Reto Aschwanden heute eine neue Version von Stelvio veröffentlicht: Version 4.0 steht zum Download bereit.
Das Hochzählen der “Major Version” ist vollkommen berechtigt, es gibt viele Neuerungen. Die bedeutendste ist sicherlich, dass nun Prüfer-Angaben zu den von Stelvio verwendeten Strategien möglich sind. Damit verliert ein “korrekt”-Ergebnis natürlich das Prädikat “Computer-geprüft”. Heute schreibt man dafür ja gern HC+ (checked by human and computer).
Deshalb gilt meine Standard-Empfehlung Lest das Handbuch! bei dieser Version doppelt und dreifach!