[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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


Reply to: