Pascal Wassong hat eine fehlerbereinigte Version seines Beweispartie-Prüfprogramms Natch veröffentlicht, nun in der Version 3.0.beta1.

Die Installation ist ganz einfach: Nur die von der Natch-Seite heruntergeladene Zip-Datei (für Windows 64 oder Windows 32) in ein eigenes Verzeichnis entpacken — fertig! Dort findet ihr dann auch die Datei NEWS, die über die Änderungen informiert.