[
Date Prev
][
Date Next
] [
Thread Prev
][
Thread Next
] [
Date Index
] [
Thread Index
]
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's
freeness and if it was being dealt with.
Thanks in advance. Regards, Samuel.
Reply to:
debian-ocaml-maint@lists.debian.org
Samuel Mimram (on-list)
Samuel Mimram (off-list)
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