[Termtools] Certification Problem Format

[René Thiemann]

Dear all,

sorry to bother you again, but there was a typo in the address of the  
subscription page: it should read

http://informatik.uibk.ac.at:2081/mailman/listinfo/cpf

(and not be the admin-page http://informatik.uibk.ac.at:2081/mailman/admin/cpf.)

Best regards,
René



> Dear all,
>
> we just installed a new mailing list about the certification problem
> format
>
>   cpf at informatik.uibk.ac.at
>
> that can be used to discuss the format and ask questions. Moreover,
> important changes
> and proposals for extensions will also be announced on this list. If
> you're
> interested, just subscribe under
>
> http://informatik.uibk.ac.at:2081/mailman/admin/cpf
>
> or visit
>
> http://cl-informatik.uibk.ac.at/software/cpf/
>
> for more details about the format.
>
> Best regards,
> René
> -- 
> René Thiemann                    mailto:rene.thiemann at uibk.ac.at
> Computational Logic Group        http://cl-informatik.uibk.ac.at/~thiemann/
> Institute of Computer Science    phone: +43 512 507-6434
> University of Innsbruck
>
> _______________________________________________
> Termtools mailing list
> Termtools at lists.lri.fr
> http://lists.lri.fr/mailman/listinfo/termtools

-- 
René Thiemann                    mailto:rene.thiemann at uibk.ac.at
Computational Logic Group        http://cl-informatik.uibk.ac.at/~thiemann/
Institute of Computer Science    phone: +43 512 507-6434
University of Innsbruck