Message-ID: <45305.129.104.11.29.1132333404.squirrel at argos.lix.polytechnique.fr>
In-Reply-To: <20051118.195548.63132328.garrigue at math.nagoya-u.ac.jp>
References: <437D9B5C.3090704 at inria.fr>
    <20051118.195548.63132328.garrigue@math.nagoya-u.ac.jp>
Date: Fri, 18 Nov 2005 18:03:24 +0100 (CET)
Subject: Re: lablgtk version
From: jnarboux at lix.polytechnique.fr
To: "Jacques Garrigue" <garrigue at math.nagoya-u.ac.jp>
Cc: julien.narboux at inria.fr, lablgtk at math.nagoya-u.ac.jp
MIME-Version: 1.0
Content-Type: text/plain;charset=iso-8859-1
Content-Transfer-Encoding: 8bit
Importance: Normal

> From: Julien Narboux <Julien.Narboux at inria.fr>
>> I did not find any fonction to find the version of lablgtk, is it
>> possible to add one ? (We have a problem distributing Coq as lablgtk
>> 2.4.0 and 2.6.0 does not seem to be compatible)
>
> GMain.Main.version
>
> ---------------------------------------------------------------------------
> Jacques Garrigue      Nagoya University     garrigue at
> math.nagoya-u.ac.jp
> 		   <A HREF=http://www.math.nagoya-u.ac.jp/~garrigue/>JG</A>
>

Sorry I thought it was the gtk version.

Cheers

Julien