From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id pA4ICprQ014271
	for <caml-list@sympa-roc.inria.fr>; Fri, 4 Nov 2011 19:12:53 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: ApYBAHYqtE5KfVIqimdsb2JhbABEqXsIIgEBAQoJDQcSBiGBcgEBAQMBEgIsATgBAwELAQUFGC40AQUBHAYTIodgAphlCo41hSiJLQIFCog+YwSZTYEthlw9gUmCJw
X-IronPort-AV: E=Sophos;i="4.69,456,1315173600"; 
   d="scan'208";a="116975551"
Received: from mail-ww0-f42.google.com ([74.125.82.42])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 04 Nov 2011 19:12:53 +0100
Received: by wwf22 with SMTP id 22so2495223wwf.3
        for <caml-list@inria.fr>; Fri, 04 Nov 2011 11:12:52 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=sender:subject:mime-version:content-type:from:in-reply-to:date:cc
         :content-transfer-encoding:message-id:references:to:x-mailer;
        bh=g9O4fApwTcqsk2eZiuX4QwA4MniqTvfDnyBKKf7Bq8w=;
        b=nDNT5mcXA5eirYV6MxCfi6c7xLREw8CkLDqE60e6jRGryT3d1sPf29VMkzSqMuWXQI
         cPG7ocPVPa/vL69VjzUpxKnrMeJu7zi66lcTAz+LF65j8ti5t4HK6ltA0XG5UoH6TGeV
         hocuZFJwqR91ZyH42QzTj1ITPMt3sl55DdWKI=
Received: by 10.216.24.41 with SMTP id w41mr1234118wew.69.1320430372445;
        Fri, 04 Nov 2011 11:12:52 -0700 (PDT)
Received: from [192.168.0.13] (gou06-3-88-170-165-56.fbx.proxad.net. [88.170.165.56])
        by mx.google.com with ESMTPS id m10sm153771wiy.23.2011.11.04.11.12.50
        (version=TLSv1/SSLv3 cipher=OTHER);
        Fri, 04 Nov 2011 11:12:51 -0700 (PDT)
Sender: Thomas Gazagnaire <thomas.gazagnaire@gmail.com>
Mime-Version: 1.0 (Apple Message framework v1084)
Content-Type: text/plain; charset=iso-8859-1
From: Thomas Gazagnaire <thomas@ocamlpro.com>
In-Reply-To: <CALgo1QJsD3cKftBcJ7BvrAwFsT54mdaVxCkVQbx0XRxyqGoC7Q@mail.gmail.com>
Date: Fri, 4 Nov 2011 19:12:48 +0100
Cc: caml-list@inria.fr
Message-Id: <AA798188-3EFD-45AC-BF93-8BE13FF73F3A@ocamlpro.com>
References: <7EB42100-0E5F-4FBB-8CB8-A318926F0E0E@x9c.fr> <CAC3Lx=YDsFk-AOTpgpXMH1jh3ra2ACWYohDZ1NBVhLbMiP2DuA@mail.gmail.com> <3AFFA70C-BD82-4A7B-94E6-7FAB5BC93148@x9c.fr> <4EB2F67D.6070202@inria.fr> <20111104092409.GA22221@ccellier.rd.securactive.lan> <4D9C7FE8-98E1-4D36-90CE-BDEDA6607338@ocamlpro.com> <CALgo1QJfveoXsmnyHOeVhyA+DWHPOFf=_9yvPEvbFOptePLfqw@mail.gmail.com> <4EB41BF8.70209@lri.fr> <CALgo1QJsD3cKftBcJ7BvrAwFsT54mdaVxCkVQbx0XRxyqGoC7Q@mail.gmail.com>
To: =?iso-8859-1?Q?Daniel_B=FCnzli?= <daniel.buenzli@erratique.ch>
X-Mailer: Apple Mail (2.1084)
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id pA4ICprQ014271
Subject: Re: [Caml-list] [ANN] Argot: 1.0 release


On Nov 4, 2011, at 7:05 PM, Daniel Bünzli wrote:

> On 4 November 2011 18:08, Romain Bardou <bardou@lri.fr> wrote:
> 
>> If you find that lines are too long, just resize your window.
> 
> Well that was my point... You cannot do that at the moment with this design.

Well, I'm just using the twitter's bootstrap CSS library, which seems to impose a minimum window width. I'm will see how I can handle that nicely (using some  "responsive web design" tricks I guess).

Thanks everyone for the feedback!