From: Florian Hars <hars@bik-gmbh.de>
To: Sven Luther <sven.luther@wanadoo.fr>
Cc: SooHyoung Oh <shoh@compiler.kaist.ac.kr>,
caml-list <caml-list@pauillac.inria.fr>
Subject: Re: [Caml-list] (Announce) ocamlyacc tutorial (version 0.1)
Date: Wed, 01 Sep 2004 13:55:35 +0200 [thread overview]
Message-ID: <4135B8B7.9090902@bik-gmbh.de> (raw)
In-Reply-To: <20040901101820.GA22108@pegasos>
> Or get the permission of the ocaml manual authors for this modification.
But even then you still cannot mix it with the GFDL bison manual. Or, at least
I would not want to try to figure out how to to that... Maybe if you got
INRIA's permission for your changes and then include it all as an invariant
section so that nobody would be forced to ask INRIA for permission for further
changes, since they would not be allowed anyway. But this part is not
"secondary" so it is debatable whether it could be an invariant section.
Combining works under different free licenses is hard enough, trying it with
non-free licenses (whose flamewar/GR was that?) is worse.
Yours, Florian.
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
next prev parent reply other threads:[~2004-09-01 11:56 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-09-01 8:33 SooHyoung Oh
2004-09-01 9:51 ` Florian Hars
2004-09-01 10:18 ` Sven Luther
2004-09-01 11:55 ` Florian Hars [this message]
2004-09-01 12:20 ` Sven Luther
2004-09-01 14:40 ` William D. Neumann
2004-09-02 10:45 ` I R T
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=4135B8B7.9090902@bik-gmbh.de \
--to=hars@bik-gmbh.de \
--cc=caml-list@pauillac.inria.fr \
--cc=shoh@compiler.kaist.ac.kr \
--cc=sven.luther@wanadoo.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox