Version française
Home     About     Download     Resources     Contact us    
Browse thread
RE: [Caml-list] LablGTK for ocaml 3.12
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Jianzhou Zhao <jianzhou@s...>
Subject: Re: [Caml-list] LablGTK for ocaml 3.12
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