On Sat, Oct 2, 2010 at 12:39 AM, Jacques Garrigue <[email protected]> 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 <[email protected]> > > 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 _______________________________________________ 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
