[Termtools] website down

Jonas SchÃ¶pf jonas.schoepf at uibk.ac.at
Mon Jul 27 10:38:55 CEST 2020

Previous message (by thread): [Termtools] Confusion on iRankFinder and AProVE
Next message (by thread): [Termtools] Termination Portal down
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Dear all!

Does anyone know why [0] is not available since the past three days?

Thanks and best regards,
Jonas

[0]: http://termination-portal.org/

Previous message (by thread): [Termtools] Confusion on iRankFinder and AProVE
Next message (by thread): [Termtools] Termination Portal down
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Termtools mailing list