From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p57FntXo008653 for ; Tue, 7 Jun 2011 17:49:55 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AusIALVH7k1KfVI0kGdsb2JhbAA8AQMShEqTLIM5imcIFAEBAQEJCQ0HFAQhrVuLZoJ8hQGJGwEBAwaFEYEKBIxThDeETIEWhWc8gTCCEg X-IronPort-AV: E=Sophos;i="4.65,333,1304287200"; d="vcf'?scan'208";a="84960340" Received: from mail-ww0-f52.google.com ([74.125.82.52]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 07 Jun 2011 17:49:49 +0200 Received: by wwb31 with SMTP id 31so6074751wwb.9 for ; Tue, 07 Jun 2011 08:49:49 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:sender:message-id:date:from:user-agent :mime-version:to:subject:references:in-reply-to:x-enigmail-version :content-type; bh=EfOrmDTSnDk3aVcZJWds4IdiXtWiI7A5XS7clNRM4Ms=; b=YhPdKKFEROg12OwaLPD76zo/vMkGO/CCQAX+x3LZsLQ280kJgqpqw/pafa2H9Q1XgT TzM3EcJVdNq2V+DuMHAMEwaulnFT3t9lVfj6LNUB8YTSRj+f+Mtrrj8hSt7Qvj/VmOLb chDhBD+y71D3XoisIJwVium1ATTQTX8clB9Ts= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=sender:message-id:date:from:user-agent:mime-version:to:subject :references:in-reply-to:x-enigmail-version:content-type; b=il4Q3noCXWL4XQ3pG9S4bssUMas9S1Rxuio3UbnZaWmAS65943HAnemKN40qGgCYn6 tTVy0lODex7mQTih1//Y+y29hshhupoXVVa4Jt29QZchjg5ap7WbTC0nhLBjKBOM0n9p JyG/BtRymUtrych4ZCPE2+SF7sIR9ZI9lm96U= Received: by 10.216.231.198 with SMTP id l48mr6885037weq.54.1307461789255; Tue, 07 Jun 2011 08:49:49 -0700 (PDT) Received: from [195.83.212.252] (chercheurs-252.saclay.inria.fr [195.83.212.252]) by mx.google.com with ESMTPS id 74sm2939773wem.17.2011.06.07.08.49.47 (version=SSLv3 cipher=OTHER); Tue, 07 Jun 2011 08:49:47 -0700 (PDT) Sender: Fabrice Le Fessant Message-ID: <4DEE489C.6000009@inria.fr> Date: Tue, 07 Jun 2011 17:49:48 +0200 From: Fabrice Le Fessant User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.17) Gecko/20110424 Lightning/1.0b2 Thunderbird/3.1.10 MIME-Version: 1.0 To: caml-list@inria.fr References: <4DED026D.4050002@ocamlpro.com> <20110606180114.GA30225@upsilon.cc> In-Reply-To: <20110606180114.GA30225@upsilon.cc> X-Enigmail-Version: 1.1.2 Content-Type: multipart/mixed; boundary="------------010904030003080700010501" X-Validation-by: fabrice.le_fessant@inria.fr Subject: Re: [Caml-list] OCaml cheat sheets This is a multi-part message in MIME format. --------------010904030003080700010501 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit On 06/06/2011 08:01 PM, Stefano Zacchiroli wrote: > Any chance you can specify a license for the cheatsheets? At present, > they only say "(C) ..." meaning that one can do very little with them, > e.g. printing them for persona use and little more. An interesting > usage pattern which is forbidden in present form is distributing them to > students of a university class which on OCaml. The files have been updated to display a Creative Common icon, BY+SA, allowing free distribution for any usage. We cannot really release the sources yet, as the formatting is pretty simple, and we want to use better formatting/coloration tools for the next versions. Fabrice --------------010904030003080700010501 Content-Type: text/x-vcard; charset=utf-8; name="fabrice_le_fessant.vcf" Content-Transfer-Encoding: 7bit Content-Disposition: attachment; filename="fabrice_le_fessant.vcf" begin:vcard fn:Fabrice LE FESSANT n:LE FESSANT;Fabrice org:INRIA Saclay -- Ile-de-France;P2P & OCaml adr;quoted-printable:;;Parc Orsay Universit=C3=A9 ;Orsay CEDEX;;91893;France email;internet:fabrice.le_fessant@inria.fr title;quoted-printable:Charg=C3=A9 de Recherche tel;work:+33 1 74 85 42 14 tel;fax:+33 1 74 85 42 49 url:http://fabrice.lefessant.net/ version:2.1 end:vcard --------------010904030003080700010501--