Re: License of coq documentation
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
Reply to: