From: Jianzhou Zhao <jianzhou@seas.upenn.edu>
To: Jacques Garrigue <garrigue@math.nagoya-u.ac.jp>
Cc: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] LablGTK for ocaml 3.12
Date: Sat, 2 Oct 2010 11:21:28 -0400 [thread overview]
Message-ID: <AANLkTin+Au-rNnAxj68DjU7upSWQ4bNYcWxaNBd5Vn1Y@mail.gmail.com> (raw)
In-Reply-To: <20101002043932.92793889C@mailhost.math.nagoya-u.ac.jp>
On Sat, Oct 2, 2010 at 12:39 AM, Jacques Garrigue
<garrigue@math.nagoya-u.ac.jp> 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 trunk 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.
--
Jianzhou
>
> Jacques
>
> -----
> From: Jianzhou Zhao <jianzhou@seas.upenn.edu>
>
> 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=lablgtk? I downloaded a Snapshot last
> night, which was compiled well by ocaml 3.12. Is 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
>
>
>
--
Jianzhou
prev parent reply other threads:[~2010-10-02 15:21 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-10-02 4:39 Jacques Garrigue
2010-10-02 15:21 ` Jianzhou Zhao [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=AANLkTin+Au-rNnAxj68DjU7upSWQ4bNYcWxaNBd5Vn1Y@mail.gmail.com \
--to=jianzhou@seas.upenn.edu \
--cc=caml-list@yquem.inria.fr \
--cc=garrigue@math.nagoya-u.ac.jp \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).