Hi,
I was wondering what was the status of the issue of Coq documentation's freeness and if it was being dealt with.
Thanks in advance.
Regards,
Samuel.
-- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
