The Coq mailing list

[Pierre-Marie Pédrot <pierre-marie.pedrot AT inria.fr>]

On 02/03/2016 17:24, Soegtrop, Michael wrote:
> I have to revoke my assessment that that it would be a good idea to 
> use WinCompose for the input of Unicode characters on Windows for 
> e.g. CoqIDE. The license is permissive, but not what lawyers want to 
> have in a SW IP list (you will know what I mean when you read the 
> license).

What? WTFPL is a respectable free software license! It's accepted by
both Debian and the FSF, what are you asking for?

I mean, Coq is already named Coq thanks to the great and immortal French
people, why do you think it would be worse in any respect?

Moreover, I, as a Frenchman, particularly appreciate Sam Hocevar's trait
d'esprit about our particular view on Universalism in his FAQ:

> Isn’t this license basically public domain?
> 
> There is no such thing as “putting a work in the public domain”, you
> America-centered, Commonwealth-biased individual. Public domain
> varies with the jurisdictions, and it is in some places debatable
> whether someone who has not been dead for the last seventy years is
> entitled to put his own work in the public domain.

PMP

Attachment: signature.asc
Description: OpenPGP digital signature