Re: Droit de distribuer la doc de coq
> After all if you allow someone to modify your code, it is logical to allow
> for the same modification rights for the documentation
> Hope this makes it clear ?
Yes, it does. Thanks.
--
----------------------------------------------------------------
Real name: Claudio Sacerdoti Coen
Doctor in Computer Science, University of Bologna
E-mail: sacerdot@cs.unibo.it
http://www.cs.unibo.it/~sacerdot
----------------------------------------------------------------
Reply to: