In den letzten Tagen hat es zwei Updates für Programme zur Prüfung (auch) von Retros bzw. Beweispartien gegeben:

• Teddy in der Version 1.9.0, das Frontend für Prüfprogramme, unterstützt nun auch Euclide und damit die wesentlichen Testhilfen für uns Retro-Freunde: neben Euclide nämlich Natch, Jacobi und Popeye.
• Von Popeye ist die Version 4.83 erschienen; es ist hauptsächlich ein Bug-Fix-Release, enthält aber auch zwei neu unterstützte Bedingungen.

Viel Spaß mit diesen neuen Versionen!