Message-ID: <437D9B5C.3090704 at inria.fr> Date: Fri, 18 Nov 2005 10:14:04 +0100 From: Julien Narboux MIME-Version: 1.0 To: lablgtk at math.nagoya-u.ac.jp Subject: lablgtk version Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Hello, 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) Regards Julien Narboux