From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 7F1CDBBAF for ; Sat, 2 Oct 2010 17:21:33 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuMDAH/qpkxKfVIukGdsb2JhbACUBgaOKggVAQEBAQkJDAcRAx+mbItbhgAjiGABAQMFhT8EijyJCoIS X-IronPort-AV: E=Sophos;i="4.57,271,1283724000"; d="scan'208";a="59870470" Received: from mail-ww0-f46.google.com ([74.125.82.46]) by mail3-smtp-sop.national.inria.fr with ESMTP; 02 Oct 2010 17:21:33 +0200 Received: by wwb31 with SMTP id 31so3454488wwb.3 for ; Sat, 02 Oct 2010 08:21:31 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:sender:received :in-reply-to:references:date:x-google-sender-auth:message-id:subject :from:to:cc:content-type:content-transfer-encoding; bh=Im96vQzzZch10aWN0LouKl57sH7zvS0q5GHyEaelDZ8=; b=lBbHf/xz3G5q9aXIH0BAK1KDwOtSoYC1ygY+dq/tR2oVSX+dyIhfPCw/Ul75YmURBq UUMHD0MjFQfy7/wzEiSx96rLAGgnDOpZ1Ve/vQUHY3aYS2NmSKFg2ED93CsqmdiNdaSl WvOnzpkljngC+oxnUkIgbqx4i6OLZtdp0dvOQ= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:cc:content-type :content-transfer-encoding; b=JGMEYioolohBpiHNXufO1FYThcOHqTCciW0tSECCUi5LBQoGNO5uBmZLdFqxwthQ+Z DVRNoITlEUsnedExnkWXBLw6dlPKI58pK/StaepUKQWF2cY/s828nNyuxy8Qf0vqwtSL y52UbPvrYA3YXGg1BNADGmIqR9moJ1StrSfH4= MIME-Version: 1.0 Received: by 10.216.22.74 with SMTP id s52mr3335229wes.11.1286032888493; Sat, 02 Oct 2010 08:21:28 -0700 (PDT) Sender: jianzhou.zh@gmail.com Received: by 10.216.229.193 with HTTP; Sat, 2 Oct 2010 08:21:28 -0700 (PDT) In-Reply-To: <20101002043932.92793889C@mailhost.math.nagoya-u.ac.jp> References: <20101002043932.92793889C@mailhost.math.nagoya-u.ac.jp> Date: Sat, 2 Oct 2010 11:21:28 -0400 X-Google-Sender-Auth: Vj6LJoXoWwVfOfwbaNFNZI2kyp8 Message-ID: Subject: Re: [Caml-list] LablGTK for ocaml 3.12 From: Jianzhou Zhao To: Jacques Garrigue Cc: caml-list@yquem.inria.fr Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; lablgtk:01 ocaml:01 lablgtk:01 wwwfun:01 olabl:01 ocaml:01 olabl:01 beginner's:01 bug:01 zhao:98 zhao:98 beginners:01 wrote:01 compile:01 upenn:01 On Sat, Oct 2, 2010 at 12:39 AM, Jacques Garrigue wrote: > You were looking in the wrong place. > The official lablgtk distribution is at > wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgtk.html > > Since 2.14.2 as just been released, and there has been no change in the t= runk since then, the daily snapshots are also ok. Thanks a lot. I installed 2.14.2. But I think the daily snapshot on around 9/30-10/1 is not exactly same to this 2.14.2 release. I used lablgtk to compile CoqIDE 8.3. With that snapshot, I found the proof context view of CoqIDE 8.3, the one at the top-right of the main view, is slower than 8.2 for interactive proofs. I can observe that it displays contents line by line when proof scripts hit the next one, and the IDE refreshes that view to show the updated proof context. But with 2.14.2, this behavior is gone, and everything seems to be normal. --=20 Jianzhou > > Jacques > > ----- > From: Jianzhou Zhao > > Hi, > > I was looking for a LablGTK release for ocaml 3.12. The one on > http://www.math.nagoya-u.ac.jp/~garrigue/soft/olabl/lablgtk.html is > not vailable now. Is it ok if I am using the Sourcecode Daily Snapshot > from http://gna.org/svn/?group=3Dlablgtk? I downloaded a Snapshot last > night, which was compiled well by ocaml 3.12. =A0Is it a stable > verision? > > Thanks. > -- > Jianzhou > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > > > --=20 Jianzhou