From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 373657F2AA for ; Fri, 21 Dec 2012 17:45:50 +0100 (CET) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of agarwal1975@gmail.com) identity=pra; client-ip=209.85.210.177; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="agarwal1975@gmail.com"; x-sender="agarwal1975@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of agarwal1975@gmail.com designates 209.85.210.177 as permitted sender) identity=mailfrom; client-ip=209.85.210.177; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="agarwal1975@gmail.com"; x-sender="agarwal1975@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ia0-f177.google.com) identity=helo; client-ip=209.85.210.177; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="agarwal1975@gmail.com"; x-sender="postmaster@mail-ia0-f177.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtsBAGyR1FDRVdKxm2dsb2JhbABFgkmFL6xviQ0IFg4BAQEBAQgJCwkUJ4IeAQEEAUABGxEMAQMBCwYFCzsiAREBBQEcBhMUh2wBAwkGl1CMM4J7hRMKGScNWYh2AQUMjEshhCIDiGKNKYEcjUwWKYQzgUc X-IronPort-AV: E=Sophos;i="4.84,330,1355094000"; d="scan'208";a="187272916" Received: from mail-ia0-f177.google.com ([209.85.210.177]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 21 Dec 2012 17:45:49 +0100 Received: by mail-ia0-f177.google.com with SMTP id u21so4093543ial.22 for ; Fri, 21 Dec 2012 08:45:47 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; bh=18c6Z/LKvLAplgaINtmL8L/xYEBQsvj33S+s9hG5rxI=; b=Cxk4D/PRP4ms+Rz+tWNKZrMSWjeTQPWy3Fu+KwEfmK/cFy9hXtXWro5cGiPImNxCOR 15Ftks0nj8JQtxznO5/Fppvn5xEfTjHSzQV6cC0LMdRsElOrLt4VcHVbUahG/sUA+clD FjssPwNQ+9ue0p3v2m2+xhIwJKMB1OGWDPnXaTJY0fj+OejL9rq0XDJB9oSbSQo5vK4p QFPFIlo5a2KWmhVt3dskXbVC6tdnB8+rXbzX6M2sASmtksihN+0uQlEoPf9NEtDt3MGn Gsy9grVmIZ22xqkkz0seFPIChIDA11ehgqcWQFLAlFnIq6Pd8WbnNNAKPA4pBtAdhb5I TclQ== Received: by 10.50.161.130 with SMTP id xs2mr14019670igb.34.1356108347051; Fri, 21 Dec 2012 08:45:47 -0800 (PST) MIME-Version: 1.0 Received: by 10.64.47.229 with HTTP; Fri, 21 Dec 2012 08:45:26 -0800 (PST) In-Reply-To: <201212211720.37298.vincent.balat@univ-paris-diderot.fr> References: <201212211720.37298.vincent.balat@univ-paris-diderot.fr> From: Ashish Agarwal Date: Fri, 21 Dec 2012 11:45:26 -0500 Message-ID: To: Vincent Balat Cc: caml-list@inria.fr, Wojciech Meyer Content-Type: multipart/alternative; boundary=14dae934106d4d8fa104d15f9418 Subject: Re: [Caml-list] OCaml wiki --14dae934106d4d8fa104d15f9418 Content-Type: text/plain; charset=ISO-8859-1 On Fri, Dec 21, 2012 at 11:20 AM, Vincent Balat < vincent.balat@univ-paris-diderot.fr> wrote: > It is possible for example to keep the current web site and add > progressively new pages using the wiki. > Nice! If we did this, a gradual transition is key. > We will release version 1 soon. > This is even more critical. Currently the ocsimore page says "It is under development (not usable for now)." Using a wiki locks us in to a very specific model. We need confidence the tool is stable and will continue to be maintained and developed. > > Hi, > > > > > > These days ocaml.org is a great resource and starting point for the > > > community and people interested in learning OCaml. It would be great > > > however if we have a collective wiki for OCaml too. Not being here at > > > any rate competitive and just complementary. > > > > > > It could cover: > > > - using core toolchain > > > - tooling like Oasis, OPAM, ocamlfind, ocamlbuild etc. > > > - type system tricks > > > - small projects with good code examples > > > - tools settings, emacs & vim configuration snippets > > > etc. > > > > > > it should be searchable, and fairly centralised. > > > > > > What kind of wiki engine we would like to use? > > > > > > I'd just opt either for oddmuse, mediawiki perhaps with some movement > > > towards custom one based on Ocsigen and Eliom, but here I don't have any > > > strong opinions, feel free to propose anything else. > > > > > > Separate issue is storage and server etc., I'd happily organise/discuss > > > these things, once we know the details :-) > > > > > > I'm open for any ideas and people joining up with the effort. > > > > > > Thanks, > > > > > > -Wojciech > > > --14dae934106d4d8fa104d15f9418 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable On Fri, Dec 21, 2012 at 11:20 AM, Vincent Balat <vincent= .balat@univ-paris-diderot.fr> wrote:
=A0

It is possible for example to keep the current web site and add progressive= ly new pages using the wiki.


Nice= ! If we did this, a gradual transition is key.

=A0

We will release version 1 soon.


T= his is even more critical. Currently the ocsimore page says "It is under development (not usable for now).= " Using a wiki locks us in to a very specific model. We need confidenc= e the tool is stable and will continue to be maintained and developed.

=A0
=A0
<= div style=3D"font-family:'Monospace';font-size:12pt;font-weight:400= ;font-style:normal">

> Hi,

>

> These days ocaml.org is a great resource and starting point for the

> community and people interested in learning OCaml.= It would be great

> however if we have a collective wiki for OCaml too= . Not being here at

> any rate competitive and just complementary.

>

> It could cover:

> - using core toolchain

> - tooling like Oasis, OPAM, ocamlfind, ocamlbuild = etc.

> - type system tricks

> - small projects with good code examples

> - tools settings, emacs & vim configuration sn= ippets

> etc.

>

> it should be searchable, and fairly centralised.

>

> What kind of wiki engine we would like to use?

>

> I'd just opt either for oddmuse, mediawiki per= haps with some movement

> towards custom one based on Ocsigen and Eliom, but= here I don't have any

> strong opinions, feel free to propose anything els= e.

>

> Separate issue is storage and server etc., I'd= happily organise/discuss

> these things, once we know the details :-)

>

> I'm open for any ideas and people joining up w= ith the effort.

>

> Thanks,

>

> -Wojciech

=A0

--14dae934106d4d8fa104d15f9418--