On Tue, Dec 20, 2005 at 07:40:31PM +0100, Lionel Elie Mamane wrote: > On Tue, Dec 20, 2005 at 11:30:02AM +0100, Samuel Mimram wrote:
>> 1. Coq upstream has agreed to put a license on the documentation >> Of course, I don't expect it to be DFSG-free. > Of course, we have to comment here that we think it is a bad > idea. Why is Coq free software? (...) On a more practical note, why do you think that people make things like http://cocorico.cs.ru.nl/ instead of improving the actual documentation? -- Lionel -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
