Mailing list

Hello,

I thought it's not very appropriate that the home page of this list 
resides on my domain, so I moved it to 
<http://www.prooftheory.org/frogs/index.html>.

It is possible to use Frogs-oCDm4u4wUTdmSpRlfIrTPQ@xxxxxxxxxxxxxxxx for sending messages, in 
addition to the old address.

Ciao,

-Alessio