[Termtools] Termination Portal

[Peter Schneider-Kamp]

Johannes Waldmann schrieb:
>> http://aprove.informatik.rwth-aachen.de/termination/
> 
> technically I agree but please try to avoid the "aprove." prefix
> (replace it by something that's not tool-specific). Best regards,

this would only be for my internal test site and before announcing
this to anyone. this just happens to be the most convenient web
server I have access to. and it happens to be named aprove.

Regards,
Peter
-- 
Peter Schneider-Kamp   mailto:psk at informatik.rwth-aachen.de
LuFG Informatik II     http://www-i2.informatik.rwth-aachen.de/psk
RWTH Aachen            phone: ++49 241 80-21211