From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id pBNIo6vu017053 for ; Fri, 23 Dec 2011 19:50:06 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AskAAO/M9E5KfVK2imdsb2JhbABDrC8IIgEBAQoJDQcSBiGBaQUEAQEBAwESAiwBOAEDDAEFBQMBBwM4IhIBBQEcBhMihSaCKQmaZwqOUIRQiTACBQuMBASVAo19PYFNgi4 X-IronPort-AV: E=Sophos;i="4.71,400,1320620400"; d="scan'208";a="136647088" Received: from mail-we0-f182.google.com ([74.125.82.182]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 23 Dec 2011 19:50:01 +0100 Received: by werb13 with SMTP id b13so7716947wer.27 for ; Fri, 23 Dec 2011 10:50:01 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:sender:in-reply-to:references:from:date :x-google-sender-auth:message-id:subject:to:cc:content-type; bh=nF6pDiCC6HfEdqUpsJaqNQr1ktN9iAOWuXCa4KfALAM=; b=ZVmgQZg5KKHCJtG7n0Ke1hluuqn9Yf3Un2ahEJrMXXbHKZEUR+f1xDxcOSER9tjQdk dXFrVZR7dEyczsuYDs3npeDj05vUprhhvusmdp2rqnElc5Fd7MxRuNJ17W61xzda5xBH /JytnJIYkvK+hu1EXjdGfqGUQZRN77C3ncr7Y= Received: by 10.216.132.147 with SMTP id o19mr8980774wei.7.1324666201151; Fri, 23 Dec 2011 10:50:01 -0800 (PST) MIME-Version: 1.0 Sender: bozman.cagdas@gmail.com Received: by 10.180.7.99 with HTTP; Fri, 23 Dec 2011 10:49:40 -0800 (PST) In-Reply-To: <20111223184023.GA13146@nautica> References: <4EF4C1B4.30408@inria.fr> <20111223184023.GA13146@nautica> From: =?ISO-8859-1?Q?=C7agdas_Bozman?= Date: Fri, 23 Dec 2011 19:49:40 +0100 X-Google-Sender-Auth: 2PDVAwEeBxB7UQbSY0IK8Nbsnog Message-ID: To: Dominique Martinet Cc: caml-list@inria.fr Content-Type: multipart/alternative; boundary=0016e6d478575d9b7204b4c6e2df Subject: Re: [Caml-list] try ocaml website --0016e6d478575d9b7204b4c6e2df Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable > > 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! > > You can clear the editor view by using the command "clear()". --=20 =C7agdas Bozman --0016e6d478575d9b7204b4c6e2df Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
The only &qu= ot;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!


You can clear the editor view by using t= he command "clear()".=A0

--
=C7agda= s Bozman <cagdas.bozman@ocamlpro.com>
--0016e6d478575d9b7204b4c6e2df--