RE: [Caml-list] LablGTK for ocaml 3.12

RE: [Caml-list] LablGTK for ocaml 3.12

[Jacques Garrigue]

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.

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

Re: [Caml-list] LablGTK for ocaml 3.12

[Jianzhou Zhao]

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