[Termtools] Termination Portal

[Salvador Lucas]

Dear Peter,

I think this is ok by now. Thanks a lot
for your work!

Best wishes,

Salvador.

Peter Schneider-Kamp wrote:

>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
>  
>