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!