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 pBNIeTqU016585 for ; Fri, 23 Dec 2011 19:40:29 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlgJAPfJ9E5beUeT/2dsb2JhbABDhQ+Wc4MZi2aBNoEFgXIBAQUjOS0LGgIYDgICFA8JiECmCkiHOz+IeIEvh0aCBDNjBJUBkjY X-IronPort-AV: E=Sophos;i="4.71,400,1320620400"; d="scan'208";a="124488638" Received: from nautica.notk.org ([91.121.71.147]) by mail4-smtp-sop.national.inria.fr with ESMTP; 23 Dec 2011 19:40:23 +0100 Received: by nautica.notk.org (Postfix, from userid 1001) id 7C472C009; Fri, 23 Dec 2011 19:40:23 +0100 (CET) Date: Fri, 23 Dec 2011 19:40:23 +0100 From: Dominique Martinet To: caml-list@inria.fr Message-ID: <20111223184023.GA13146@nautica> References: <4EF4C1B4.30408@inria.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline In-Reply-To: <4EF4C1B4.30408@inria.fr> User-Agent: Mutt/1.5.20 (2009-06-14) Subject: Re: [Caml-list] try ocaml website Hi, The website is really nice :) I'm a bit too used to ledit and find the lack of ^w, ^u, ^k a bit annoying, but the experience is really smooth, that's good! The only "real" thing that it's missing is a way to reset the toplevel without reloading the page. It's the same problem as with the real toplevel now that I think about it, but I didn't think of reloading the page directly! Great work anyway :) -- Asmadeus | Dominique Martinet