GPLed Coq documentation

To: Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>
Cc: Hugo Herbelin <hugo.herbelin@inria.fr>, Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Subject: GPLed Coq documentation
From: Samuel Mimram <samuel.mimram@ens-lyon.org>
Date: Tue, 12 Apr 2005 18:51:11 +0200
Message-id: <[🔎] 425BFC7F.10903@ens-lyon.org>

Hi,

I was wondering what was the status of the issue of Coq documentation'sfreeness and if it was being dealt with.


Thanks in advance.

Regards,

Samuel.

Reply to:

Follow-Ups:
- Re: GPLed Coq documentation
  - From: Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>

Prev by Date: Re: CDuce package
Next by Date: ocaml-3.08.3 transition almost ready
Previous by thread: Accepted planets 0.1.12-4 (all source)
Next by thread: Re: GPLed Coq documentation
Index(es):
- Date
- Thread