Hi, Pierre Letouzey pointed me to an ongoing discussion about this issue in the coq project [1]. Also, a port of lablgtk to gtk+3 seems to be on the way [2].
-Ralf, [1] https://github.com/coq/coq/issues/7055 [2] https://github.com/garrigue/lablgtk/issues/2 On Thu, Mar 22, 2018 at 12:33:13PM +0100, Claude Marche wrote: > > Hello Ralf, > > This is not Why3 specific: did you ask the same questions to the Caml > mailing list? I would be interested to know the answers... > > In other words: are there any plans for a lablgtk3? > > Concerning Why3: there is indeed a prototype (in a very early stage) for > a graphical interface inside a web browser. Somehow in the same vein as > trywhy3 (http://why3.lri.fr/try/) but instead of having everything (why3 > core + Alt-ergo) compiled in javascript, it is a javascript interface > interacting with a dedicated http server running locally on the same > computer. > > Any suggestions welcome, of course... > > - Claude > > > > > > Le 22/03/2018 à 11:08, Ralf Treinen a écrit : > > Hello, > > > > I recently got a reminder that debian is going to deprecate gtk+2 [1]. > > In fact, the last release of gtk+2 dates back to 2011. Gtk+3 is current, > > and development of gtk+4 has already begun. > > > > Unfortunately, there do not seem to exist ocaml bindings for gtk+3 [2]. > > > > What can be done about this? Are there any plans to replace gtk+2 by > > something else? > > > > -Ralf. > > > > [1] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=885677 > > [2] https://en.wikipedia.org/wiki/List_of_language_bindings_for_GTK%2B > > > > -- > Claude Marché | tel: +33 1 69 15 66 08 > INRIA Saclay - Île-de-France | > Université Paris-sud, Bat. 650 | http://www.lri.fr/~marche/ > F-91405 ORSAY Cedex | > _______________________________________________ > Why3-club mailing list > Why3-club@lists.gforge.inria.fr > https://lists.gforge.inria.fr/mailman/listinfo/why3-club _______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/why3-club
