Date: Fri, 18 Nov 2005 19:55:48 +0900 (JST)
Message-Id: <20051118.195548.63132328.garrigue at math.nagoya-u.ac.jp>
To: Julien.Narboux at inria.fr
Cc: lablgtk at math.nagoya-u.ac.jp
Subject: Re: lablgtk version
From: Jacques Garrigue <garrigue at math.nagoya-u.ac.jp>
In-Reply-To: <437D9B5C.3090704 at inria.fr>
References: <437D9B5C.3090704 at inria.fr>
Mime-Version: 1.0
Content-Type: Text/Plain; charset=us-ascii
Content-Transfer-Encoding: 7bit

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>